minor mpfr cleanup