How can precision be improved for the debug log timestamp?

WordPress does not manage the format of the timestamp. Instead, WordPress hands off error message contents to the PHP function error_log(), which creates the timestamp.

Finding no easy way to ask error_log() for higher resolution timestamp, combined with the fact that I’m creating the message content myself, I’ve added a microsecond string ahead of my messages, essentially like this:

error_log( gettimeofday()['usec'] . ' ' . $message );