Comment by lisper

A similar library with even more capabilities:

https://www.ginac.de/CLN/

Includes not only infinite-precision [correction: arbitrary-precision] floats (not sure about the correct rounding part) but also integers (so subsumes GMP), rationals, complex numbers, and polynomials.