pub fn lcm2<T, U>(a: T, b: T) -> Uwhere T: UAbs<U>, U: PrimInt + WrappingShr + WrappingSub,
LCM of 2 arguments.