util/jsonschema.lua
branch0.12
changeset 12764 ce1a0f9bf25a
parent 12763 ec54fe0003d5
child 12979 d10957394a3c
--- a/util/jsonschema.lua	Sun Oct 09 15:38:36 2022 +0200
+++ b/util/jsonschema.lua	Sun Oct 09 15:42:25 2022 +0200
@@ -1,7 +1,7 @@
 -- This file is generated from teal-src/util/jsonschema.lua
 
-local m_type = math.type or function (n)
-	return n % 1 == 0 and n <= 9007199254740992 and n >= -9007199254740992 and "integer" or "float";
+local m_type = function(n)
+	return type(n) == "number" and n % 1 == 0 and n <= 9007199254740992 and n >= -9007199254740992 and "integer" or "float";
 end;
 local json = require("util.json")
 local null = json.null;