binary_gcd and a random_coprime functin implemented