HackerEarth assessment inputs may contain integers larger than Python's native integer limits in restricted environments. Given two signed integers as decimal strings, compute their greatest common divisor without converting either entire input to a built-in integer.
Use Euclid's algorithm, where gcd(a, b) = gcd(b, a mod b), and implement decimal remainder arithmetic on strings.
Implement gcd_huge(a, b).
a and b, each representing a signed base-10 integer."0".def gcd_huge(a, b):