2 files changed, 8 insertions, 4 deletions
diff --git a/stdlib/source/lux/target/jvm/attribute/code.lux b/stdlib/source/lux/target/jvm/attribute/code.lux
index 61c19ccfa..0bf1bec4e 100644
--- a/stdlib/source/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code.lux
@@ -5,6 +5,8 @@
     ["." equivalence (#+ Equivalence)]]
    [data
     ["." binary (#+ Binary)]
+    [number
+     ["n" nat]]
     [format
      [".F" binary (#+ Writer) ("#@." monoid)]]
     [collection
@@ -25,7 +27,7 @@
 
 (def: #export (length length code)
   (All [Attribute] (-> (-> Attribute Nat) (Code Attribute) Nat))
-  ($_ n/+
+  ($_ n.+
       ## u2 max_stack;
       ## u2 max_locals;
       ///resources.length
@@ -39,14 +41,14 @@
       (|> code
           (get@ #exception-table)
           row.size
-          (n/* /exception.length))
+          (n.* /exception.length))
       ## u2 attributes_count;
       ///unsigned.u2-bytes
       ## attribute_info attributes[attributes_count];
       (|> code
           (get@ #attributes)
           (row@map length)
-          (row@fold n/+ 0))))
+          (row@fold n.+ 0))))
 
 (def: #export (equivalence attribute-equivalence)
   (All [attribute]
diff --git a/stdlib/source/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
index b291baf3e..17111c251 100644
--- a/stdlib/source/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
@@ -3,6 +3,8 @@
    [abstract
     ["." equivalence (#+ Equivalence)]]
    [data
+    [number
+     ["n" nat]]
     [format
      [".F" binary (#+ Writer)]]]]
   ["." // #_
@@ -32,7 +34,7 @@
 ## https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
 (def: #export length
   Nat
-  ($_ n/+
+  ($_ n.+
       ## u2 start_pc;
       ////unsigned.u2-bytes
       ## u2 end_pc;