Vincent Lefevre <vinc...@vinc17.net> writes:

> MPFR has a bounded (user configurable) exponent range, with underflow
> and overflow exceptions for out-of-range results, like in IEEE 754.

Good! I didn't find that in the manual until I knew the phrase to search
for. It's in
https://www.mpfr.org/mpfr-current/mpfr.html#Exception-Related-Functions,
and relevant functions are mpfr_set_emin, mpfr_set_emax and mpfr_subnormalize.

You might want to add an entry for "Exponent range" to the concept index
in the manual.

I guess gcc should set things up similarly to the example on that page,
"This is an example of how to emulate binary double IEEE 754
arithmetic", with the caveat "This emulates a double IEEE 754 arithmetic
with correct rounding in the subnormal range, which may not be the case
for your hardware".

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.
_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Reply via email to