better formatting of log timestamping with large elapsed-since-start time values