The division and modulus words are allowed to either round towards zero
(symmetrical division), or to round towards negative infinity (floored
division). If a particular algorithm requires a certain form, then
it should use the explicit operators ( sm/rem for symmetrical, and
fm/mod for floored).