clean up gmp and mpfr