can't we print the time in seconds? we can keep all the decimals, but it is much more friendly when glancing at logs