Function rat_lcm 

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

The least common multiple of two rationals, lcm(numerators) over gcd(denominators); zero when either is zero.