IEEE P754

Paul Zimmermann Paul.Zimmermann at inria.fr
Mon Jul 31 10:31:14 CEST 2023


       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


More information about the gmp-bugs mailing list