Would it be possible to add a 3 digit decimal milliseconds value to CTIME with the identifier $ctimems

$ctimems == 1583799263.890 (zero padded 3 digit decimal value, string appended to the standard $ctime value)

I understand that SYSTEMTIME and FILETIME structures support up to 1/10,000 second decimal values, even if the system clock crystal doesn't necessarily support more than 1/64 to 1/100 resolution. The availability of a system clock defined milliseconds value would be invaluable in a number of scripts, games, logging and debugging. The utility of $ticks falls short when the user necessitates a clock-synchronized value. It is impossible to synchronize a clock seconds zero-crossing with $ticks.

People would also be interested in an $asctime() and $timestampfmt that can print milliseconds from the current clock time or a supplied $ctimems input value.

Thanks for your consideration.

Well. At least I won lunch.
Good philosophy, see good in bad, I like!