Hi Boost Users, I've started using boost's date_time library recently which I find quite convenient for the most part. I have to handle times with sub second parts frequently and was wondering what the recommended way is to extract the milliseconds part of a time_duration instance? It seems there is no time_duration.milliseconds() method available and fractional_seconds() is platform dependent. BTW: I am currently using boost 1.34.1. Regards, Sebastian