2 files changed, 9 insertions, 7 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index 12e2fe412..212d9d854 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -5,13 +5,14 @@
     ["." function]]
    [data
     ["." product]
-    [number
-     ["i" int]]
     ["." text
      ["%" format (#+ format)]]
     [collection
      ["." array (#+ Array)]
      ["." list ("#@." functor)]]]
+   [math
+    [number
+     ["i" int]]]
    [target
     [jvm
      [encoding
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 341ded0e4..1f9e93c71 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -11,15 +11,16 @@
    [data
     ["." product]
     ["." maybe]
-    [number
-     ["n" nat]
-     ["i" int]]
     [collection
      ["." list ("#@." functor)]]]
    [macro
+    [syntax (#+ syntax:)]
     ["." code]
-    ["." template]
-    [syntax (#+ syntax:)]]
+    ["." template]]
+   [math
+    [number
+     ["n" nat]
+     ["i" int]]]
    [target
     [jvm
      [encoding