Function mod_floor

fn mod_floor<T: Integer>(x: T, y: T) -> T