fixed/mpz/gcdext.c
