dev/defs/script_input_number.json

{
  "name": "ScriptInputNumber",
  "key": {
    "int": 611,
    "string": "scriptinputnumber"
  },
  "extends": "custom_property_number.json"
}