Re: [GHC] #13126: Support for hexadecimal floats