Re: [boost] date_time high resolution clock for Win32