The [http://www.rfc-editor.org/rfc/rfc7159.txt|JSON spec] says that numeric
values may not have leading zeros.  The value can consist of a single zero
or a zero before the decimal point, but otherwise the first digit must be
between 1 and 9.  The SQLite JSON extension does not enforce this and allows
numeric values with an unlimited number of leading zeros.