Function gcd_euclid 

pub fn gcd_euclid<T: SemiArithmetic + for<'a> SubAssign<&'a T>>(x: T, y: T) -> T
where
    for<'a> &'a T: PartialEq,