MPFR loading ...