[Haskell-cafe] [ANN] fp-ieee v0.1

[ARATA Mizuki]

Hi all,

I'd like to announce the first release of fp-ieee.

https://hackage.haskell.org/package/fp-ieee

This library aims to provide IEEE 754-2019 compliant operations, including

* fusedMultiplyAdd

* correctly-rounding versions of fromInteger (GHC's fromInteger for Float and Double do not round correctly; see https://gitlab.haskell.org/ghc/ghc/-/issues/17231)

* realFloatToFrac: an alternative of realToFrac with well-defined semantics.

Other notes:

* Most of the functions are generic, and any RealFloat instance can be used. However, manipulation of NaN's sign and payload requires an additional constraint (RealFloatNaN, provided by this library).

* Access to floating-point environment is not provided. If you want to control rounding direction, look at my another library: https://hackage.haskell.org/package/rounded-hw

* Decimal-specific operations (like quantize, quantum) are not provided, and the preferred exponent is not honored.

* Use of FFI can be disabled via a package flag (maybe useful when using non-native targets).


Mizuki