Абсолютно точные результаты могут быть достигнуты только с BigIntegers или BigRationals. BigRationals - это всего лишь пара BigIntegers (дивиденд и делитель).
Возможное действительное число не может быть выражено полностью точно, поскольку R содержит все ограничения (например, sqrt (2), PI, e и т. Д.).
Вышеупомянутый GMP является хорошей библиотекой, если вам нужна большая точность, чем стандартным двойным, но имейте в виду, что он не "полностью" точен.