gmp/mpq
