Definition jsonSectionID (i : Z) : json :=
  JsonString (HexString.of_Z i).
