[Boost-users] [icl] joining two simple intervals