{
    "max": {"type": "integer", "value": "9223372036854775807"}
}