{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "title": "Newtype",
  "type": "integer",
  "format": "int32"
}