Double

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/Double",
  "title": "Double",
  "type": "number",
  "format": "double"
}