Re: [Boost-users] date_time: time_duration operator bug?