Givaro is a C++ library for arithmetic and algebraic computations.
Givaro can do fast arithmetic computations with
Non-standard arithmetic tools include trucated arithmetic.