gmp/mpz/tests
