The text of an integer id as the server writes it and as a path or a JSON number can carry it: digits, no sign, no
leading zero (0 alone). One definition of "digits" for every id the library sends as a number or splices into a
path (idAsJsonNumber, DirectThemeIdSchema, UFAC's ids): JSON.rawJSON('0123') refuses a leading zero, so a text
that fails this is no number on the wire.
The text of an integer id as the server writes it and as a path or a JSON number can carry it: digits, no sign, no leading zero (
0alone). One definition of "digits" for every id the library sends as a number or splices into a path (idAsJsonNumber,DirectThemeIdSchema, UFAC's ids):JSON.rawJSON('0123')refuses a leading zero, so a text that fails this is no number on the wire.