gcd & reduce_fraction.