Допустим, существуют только числа от 0 до 0.(9). Теперь определим операцию деления «нацело». Допустим, мы делим на 10. В таком случае у нас возможные результаты деления 0, 0.1, 0.2, ..., 0.9. То есть 0.21 / 10 = 0.2, 0.29 / 10 = 0.2, 0.3 / 10 = 0.3. Теперь определим операцию получения остатка от деления. Это будет равно делимое - частное * делитель. Таким образом 0.21 mod 10 = 0.01, 0.29 mod 10 = 0.09, 0.3 mod 10 = 0. Остальные операции нас не интересуют. Разумеется, делить можно не только на 10, просто с десяткой результат нагляднее всего.
Теперь вопрос: как это представить с помощью функций и операторов нормальной математики?