Returns the greatest common divisor of two numbers. That is, the smallest number that is a whole-number factor of both numbers.