boost/boost/numeric/interval/compare
