{"additionalProperties": false, "required": ["_kind", "val"], "type": "object", "properties": {"_kind": {"enum": ["number"], "type": "string"}, "val": {"type": "number"}, "unit": {"pattern": "^([a-zA-Z%_/$]|[\\x80-\\xFFFF])+$", "type": "string"}}}