Gmp.mpz()->gcdext()