[Boost-users] boost::numeric::interval - what are interval_holder and number_holder for?