Division with remainders

The remainder is always smaller

Round up for “at least”, down for “at most”