Статьи об арифметике с фиксированной точкой, выполненной с использованием заданного количества десятичных знаков. Для комбинаторов, используемых для кодирования рекурсии, используйте вместо этого Комбинаторы Фиксированной Точки. Для численного метода используйте вместо этого Итерация С Фиксированной Точкой. Для механизма фиксированной точки Z3 используйте вместо этого Z3 Fixedpoint.