Description
Multiprecision floating-point arithmetic with correct rounding can be used from Pure programs through GNU MPFR. This interface is for developers and researchers who need reliable numeric calculations. It is loaded by Pure code, and numerical correctness still depends on chosen algorithms and input ranges.