Greatest common divisor.