Re: [GHC] #9304: Floating point woes; Different behavior on 32- vs 64-bit x86