Use `integer()` instead of `Integer`
Implemented 'gcd_ext()'