{
    "type": "object",
    "properties": {
        "def": {
            "type": "integer",
            "const": 5.1
        }
    }
}