Time formats in WP log messages

Discussion created by Michael_Lowry on Aug 22, 2017
Latest reply on Sep 5, 2017 by Carsten_Schmitz
Many messages in the logs of work processes include times in the format like this: 1:088.705.710. Known error article 000009608 contains an example of such a message.
U0003524 ===> Time critical DB call!       OPC: 'SLCU' time: '1:088.705.710'
I could not find an explanation for this time format in the documentation, but Technical article 000007272 suggests that the colon represents the decimal point in this time format. This implies that the duration in the above error message is 1.088705710 seconds. Is this correct?