boost.interval for tracking floating point rounding errors

Boost-users