boost/boost/numeric/interval/detail
