C-XSC 2.0 is a C++ class library for eXtended Scientific Computing. It provides real, complex, interval, complex-interval, and multi-precision data types. There are also vector and matrix classes corresponding to these scalar types. The interval data types are very useful for verified numerical computations.
