mpz/gcdext.c
