ToJSTime          233 src/platform-win32.cc   double ToJSTime();
ToJSTime          497 src/platform-win32.cc   double unchecked_posix_time = rounded_to_second.ToJSTime() / 1000;
ToJSTime          591 src/platform-win32.cc   return t.ToJSTime();