rough euclidean gcd