adding mpfr