Re: [GHC] #4092: Floating point manipulation : ulp and coerce IEEE-754 Double# into Word64#