gmp/mpq/tests
