extended_rational
pub fn gcd(a: u64, b: u64) -> u64
Returns the greatest common divisor of two numbers.