hi everyone, I was checking the output of

stats.json

and

metrics.json

endpoints, I was wondering why stats.json outputs values as number while metrics.json outputs values as string even if I think that metrics values are all numbers

Some JSON implementations are unable to represent the full range of 64-bit unsigned integers. String seemed easier to read, and also decimals could be represented cleanly.

ok, thank you !