exact-real
exact-real copied to clipboard
Make it usable with Data.Complex.
exponent from RealFloat now returns 0.
Would you be able to add some tests to make sure that this conforms to the laws specified for RealFloat:
exponent corresponds to the second component of decodeFloat. exponent 0 = 0 and for finite nonzero x, exponent x = snd (decodeFloat x) + floatDigits x. If x is a finite floating-point number, it is equal in value to significand x * b ^^ exponent x, where b is the floating-point radix. The behaviour is unspecified on infinite or NaN values.
Do you want to be a maintainer for this package and on Hackage?