Skip to content

Conversation

@Abbath
Copy link

@Abbath Abbath commented Sep 5, 2024

exponent from RealFloat now returns 0.

exponent from RealFloat now returns 0.
@expipiplus1
Copy link
Owner

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants