util/jsonpointer.lua
changeset 12785 22066b02887f
parent 12503 03e307952816
--- a/util/jsonpointer.lua	Thu Oct 20 16:56:45 2022 +0200
+++ b/util/jsonpointer.lua	Wed Oct 19 16:25:05 2022 +0200
@@ -1,6 +1,4 @@
-local m_type = math.type or function (n)
-	return n % 1 == 0 and n <= 9007199254740992 and n >= -9007199254740992 and "integer" or "float";
-end;
+local m_type = math.type;
 
 local function unescape_token(escaped_token)
 	local unescaped = escaped_token:gsub("~1", "/"):gsub("~0", "~")