(GCD) A function that returns the largest positive integer that both arguments are integer multiples of.
See also euclid's algorithm. Compare: lowest common multiple.