[Boost-users] boost.interval for tracking floating point rounding errors