mpfr cleanup