[Boost-users] date_time: time_duration operator bug?

Hello, I noticed that the "operator/()" isn't declared "const", I think this is an error. If so, can I correct it in my copy of boost (1_32) and hope that in the next version this is fixed? Further, I miss the "operator/(const time_duration&)", is there a reason why there isn't such a thing? BTW, I just read an old thread (Sep. 2003) about double arithmetic for the time_duration operators '*' and '/'. What's the plan here, is it going to stay 'int'-based (because I wrote my own double-based ones, not really nice I have to say). tia Donato