fixed the mpfr problem