Re: [boost] Re: date_time high resolution clock for Win32