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