Update integer_gmp_gcdext documentation.