CHG: Logger now shows 8 decimal digits of time by default.