competitive_hpp::prelude::integer
pub fn mod_floor<T>(x: T, y: T) -> T where T: Integer,
Floored integer modulus