{
  "int64-max": {
    "type": "integer",
    "value": "9223372036854775807"
  },
  "int64-max-neg": {
    "type": "integer",
    "value": "-9223372036854775808"
  }
}