Re: [boost] [date_time] Ordering non-overlapping time period