1 files changed, 5 insertions, 3 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]