The GNU MPFR Library