shadowed missing implementation of gcd_big_int