Use json-schema "number" instead of "integer"