add test for gmp, mpfr and mpfi