Function rat_gcd 

pub fn rat_gcd(a: &Rat, b: &Rat) -> Rat

The greatest common divisor of two rationals: gcd(numerators) over lcm(denominators), which is the largest rational dividing both a whole number of times.