Where: DEFGSupport.cpp, GetSystemTimeFP() (POSIX branch)
Why it’s wrong: gettimeofday returns tv_usec in microseconds; adding tv_usec / 1000.0 yields milliseconds added to seconds, not seconds. This returns seconds + milliseconds, not seconds + fractional seconds.
Evidence: Now = TimeBuf.tv_sec + TimeBuf.tv_usec / 1000.0; in POSIX path.
GitHub
Fix: Use tv_usec / 1e6.
Where: DEFGSupport.cpp, GetSystemTimeFP() (POSIX branch)
Why it’s wrong: gettimeofday returns tv_usec in microseconds; adding tv_usec / 1000.0 yields milliseconds added to seconds, not seconds. This returns seconds + milliseconds, not seconds + fractional seconds.
Evidence: Now = TimeBuf.tv_sec + TimeBuf.tv_usec / 1000.0; in POSIX path.
GitHub
Fix: Use tv_usec / 1e6.