{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$id": "schema.json",
  "typeof": "number"
}