[W32TIME] The interval is specified in seconds, but we need milliseconds