User binary_gcd