Hi, the reference manual mentions IEEE P754, which was the temporary name during the standard first version (Project 754 I guess). It should be replaced by IEEE 754, or better IEEE 754-2019 (the latest revision).
Paul _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs