correct mpfr init explicit prec