ex_gcd added