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