Always 4 digits of microtime when formatting seconds