Add mpfr