Речь еще идет про соответсвие операций в процессоре используемым обычно в математике. Стандарт С - это только следствие того, что арифметические операции должны обладать полезными алгебраическими свойствами. Одно из них - это тождество x == x/y*y+x%y. Краяняя полезность этого тождества стала понятна до появления первых реализаций С, поэтому оно вошло в древние стандарты языка, оставив до поры до времени направление усечения при делении на усмотрение реализаторов.