{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:Float",
  "title": "Float",
  "description": "Data type: Floating number.",
  "type": "object",
  "allOf": [
    {
      "description": "Data type: Number.\\n\\nUsage guidelines:\\n\\n* Use values from 0123456789 (Unicode 'DIGIT ZERO' (U+0030) to 'DIGIT NINE' (U+0039)) rather than superficially similar Unicode symbols.\\n* Use '.' (Unicode 'FULL STOP' (U+002E)) rather than ',' to indicate a decimal point. Avoid using these symbols as a readability separator.",
      "$ref": "schema:Number"
    }
  ]
}