The GCD of two positive integers.