Re: [boost] [date_time] Suggestion for duration division operator