Query log should not be dealing with number formatting

The query log should not be dealing with formatting the elapsed time. Adding a thousand separator makes it difficult for e.g. profilers to sum the total time. Therefore, I propose to remove the number_format.