boost/boost/numeric/interval
