Re: [GHC] #8285: unexpected behavior with encodeFloat on large inputs