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).