--- a/teal-src/util/datamapper.tl	Wed Oct 19 16:25:05 2022 +0200
+++ b/teal-src/util/datamapper.tl	Thu Oct 20 16:50:12 2022 +0200
@@ -19,6 +19,8 @@
 -- TODO s/number/integer/ once we have appropriate math.type() compat
 --
 
+if not math.type then require "util.mathcompat" end
+
 local st = require "util.stanza";
 local json = require"util.json"
 local pointer = require"util.jsonpointer";