binary GCD algorithm

Also known as Stein's algorithm, binary Euclidean algorithm

algorithm that computes the greatest common divisor of two integers using only arithmetic shifts, comparisons, and subtraction