Представление иррациональных чисел на любом языке программирования?

Кто-нибудь знает об иррациональном числовом представлении типа / объекта / класса / чего угодно в любом языке программирования?

Все предложения приветствуются.

Проще говоря, если у меня есть два иррациональных объекта, каждый из которых представляет собой квадратный корень из пяти, и я умножаю эти объекты, я хочу получить обратно целое число пять, а не число с плавающей запятой в 4 точки или 9 шилл.

В частности, Мне нужно представительство, чтобы я мог собирать термины, не просто разрешать каждый раз целое число / число с плавающей запятой. Например, если я хочу сложить квадратный корень из пяти к одному, я не хочу, чтобы он возвращал какое-то приближенное целое число / число с плавающей запятой, я хочу, чтобы он возвращал объект, который я могу добавить / умножить с другим иррациональным объектом, например Я могу сказать объекту разрешиться в самое позднее время, чтобы минимизировать ошибку приближения с плавающей запятой.

Большое спасибо!