dev/defs/animation/event_number_change.json

{
  "name": "EventNumberChange",
  "key": {
    "int": 118,
    "string": "event_number_change"
  },
  "extends": "animation/event_input_change.json",
  "properties": {
    "value": {
      "type": "double",
      "initialValue": "0",
      "key": {
        "int": 229,
        "string": "value"
      },
      "description": "Value to set the input to when the event occurs."
    }
  }
}