add ext-gcd