Christian Decker 83beaa5396 json: Add helper for quoted numbers ...

The JSON specification technically disallows maps with numeric keys,
so we'll want to slowly migrate away from using them. This helper
extracts the numeric value from a quoted number, which is a legal
representation of the same in JSON.

2022-11-01 17:05:30 +01:00

4.7 KiB

Raw Blame History

View Raw