{
  "$id": "#Number",
  "title": "Number",
  "type": "number"
}