Function floor_mod 

pub fn floor_mod(dividend: i32, divisor: i32) -> Option<i32>

Essence modulo has the divisor’s sign and is undefined for zero divisors. Widened arithmetic also handles i32::MIN % -1, whose remainder is zero.