pub fn div_mod_floor<T>(x: T, y: T) -> (T, T)where T: Integer,
Simultaneous floored integer division and modulus