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