{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Newtype",
  "type": "integer",
  "format": "int32"
}