Sage

MPFR : A multiple-precision binary floating-point library with correct rounding

site WEB de MPFR

MPFR est utilisé par Sage dans la mise en œuvre de RealField (nombre flottants à précision quelconque).

x = RealField (100) ; # mantisse comportant 100 bits