@michaelficarra, yeah, the only curious case is `0 %% -1`, which evaluates to `-0` (which makes sense since the result of the modulus should have the same sign as the divisor), so we could assert that in the tests and be explicit :+1: