{"additionalProperties": false, "required": ["_kind", "val"], "type": "object", "properties": {"_kind": {"enum": ["number"], "type": "string"}, "val": {"enum": ["INF", "-INF", "NaN"], "type": "string"}}}