query metrics, timings, should be available as numbers, not preformatted strings

Query metrics and query monitoring report times as pre-formatted strings, e.g.:

"metrics":

{ "elapsedTime": "152.602083ms", "executionTime": "152.568888ms", "resultCount": 7, "resultSize": 1565 }

or:

"completed_requests": {
"elapsedTime": "24.758984297s",

These strings are difficult to use in the front end because:

1) they need to be parsed to determine whether they refer to seconds or milliseconds (do they ever show microseconds?)
2) as a string, they can't be properly sorted since "31" falls between "3" and "4"
3) they show way too many digits to be useful. 24.758984297s. Do those last 6 digits really add anything? But I can't limit the precision shown with parsing the numbers.

It would be much better if these were available as floating point numbers, which would allow reasonable formatting, sorting, etc.