вот у меня в действительных числах есть лимиты с их "бесконечно приближающееся к", ещё у меня там есть всякие +- эпсилон, которое не работает полноценно с флоатами, это обходится методом "следующий флоат", чтоб не байтоёбить. В продакшен-реди языках есть.