gmp/tests/mpq
