In an Informatica data-quality utility, implement a function that computes the greatest common divisor, or GCD, of two integer values. Use the recursive Euclidean algorithm rather than library functions.
The GCD is the largest non-negative integer that divides both inputs without a remainder. Your implementation must support positive and negative integers, and it must return a non-negative result.
Implement gcd_recursive(a, b):
a and b.gcd(a, b).gcd(a, b) = gcd(b, a % b) until the second argument is zero.a and b are integers.-10^18 <= a, b <= 10^18.a and b are not both zero.def gcd_recursive(a, b):