Round elapsed values below 1ms to one decimal place

[agneevX]

Prerequisites

• [x] I am running the latest version
• [x] I checked the documentation and found no answer
• [ ] I checked to make sure that this issue has not already been filed

Problem Description

Cached queries often take sub-1ms to process. The UI shows such values in two decimal places.

The extra precision is not really needed and it would otherwise look better and cleaner.

Proposed Solution

Round values below 1ms to one decimal place. E.g. 0.45 ms to 0.5 ms.

Alternatives Considered

Additional Information

[fvdm]

I see cache responses around 0.08 ms. Reducing the number of decimals would make those look like 0.0 ms as in 'no time' or rounded up to 0.1 which both would be misleading.

Also it is an indication of how well my box is performing. When I see a lot in the tenths I know that something is consuming a lot of resources. Personally I like it the way it is now.

[agneevX]

@fvdm Guess a special concession could be made for you ;)

[hnnweb]

Agreeing with @fvdm .

[ainar-g]

On the one hand, it would indeed look better on the UI. But on the other, I'm not a big fan of hiding information. Perhaps the top-level log should be rounded, but the full information about the request should contain a more precise reading. We'll see.

[fvdm]

@ainar-g Yeah. Maybe an precision option in the Query Log settings for the UI and the numbers with two decimals in the API response.

[ainar-g]

Added a feature request label to avoid the bot.