JSON-Schemas: type "float" -> "number" [fix]

hoijui · hoijui · commit 17f45bbc7dd3 · 2025-01-06T15:59:34.000+01:00
diff --git a/src/schema/okh.schema.json b/src/schema/okh.schema.json
@@ -730,13 +730,13 @@
       ],
       "properties": {
         "depth": {
-          "type": "float"
+          "type": "number"
         },
         "height": {
-          "type": "float"
+          "type": "number"
         },
         "width": {
-          "type": "float"
+          "type": "number"
         }
       }
     },
