т.е. для M = X/Y всегда подразумевается, что M*Y не превышает Х.

А по жизни мне лично остаток от деления никогда не был нужен.

Гораздо полезнее была бы операция деления с результатом в виде плавучки,
а то вечно не хватает значащих бит в результате.

Например в классическом 16/16 реально использовать только 8-бит делитель,
чтобы получить 8 бит результата, что явно недостаточно для реальных
задач, поэтому приходится прибегать к делению столбиком.