remquo: сокращение аргументов?

В спецификации C99 о remquo говорится:

Функции remquo предназначены для реализации сокращения аргументов, которое может использовать несколько младших битов частного. Обратите внимание, что величина x может быть настолько велика по отношению к y, что точное представление частного нецелесообразно.

Что такое «редукция аргумента» в этом контексте и каков пример того, что может использовать несколько младших битов частного?