diff --git a/alu/mul/columns.lisp b/alu/mul/columns.lisp
index 5aab2c26..5002e064 100644
--- a/alu/mul/columns.lisp
+++ b/alu/mul/columns.lisp
@@ -16,25 +16,25 @@
     (RES_LO            :i128)
     (BITS              :binary@prove)
     ;==========================
-    (BYTE_A_3 :byte@prove)    (ACC_A_3 :i128)
-    (BYTE_A_2 :byte@prove)    (ACC_A_2 :i128)
-    (BYTE_A_1 :byte@prove)    (ACC_A_1 :i128)
-    (BYTE_A_0 :byte@prove)    (ACC_A_0 :i128)
+    (BYTE_A_3 :byte@prove)    (ACC_A_3 :i64)
+    (BYTE_A_2 :byte@prove)    (ACC_A_2 :i64)
+    (BYTE_A_1 :byte@prove)    (ACC_A_1 :i64)
+    (BYTE_A_0 :byte@prove)    (ACC_A_0 :i64)
     ;==========================
-    (BYTE_B_3 :byte@prove)    (ACC_B_3 :i128)
-    (BYTE_B_2 :byte@prove)    (ACC_B_2 :i128)
-    (BYTE_B_1 :byte@prove)    (ACC_B_1 :i128)
-    (BYTE_B_0 :byte@prove)    (ACC_B_0 :i128)
+    (BYTE_B_3 :byte@prove)    (ACC_B_3 :i64)
+    (BYTE_B_2 :byte@prove)    (ACC_B_2 :i64)
+    (BYTE_B_1 :byte@prove)    (ACC_B_1 :i64)
+    (BYTE_B_0 :byte@prove)    (ACC_B_0 :i64)
     ;==========================
-    (BYTE_C_3 :byte@prove)    (ACC_C_3 :i128)
-    (BYTE_C_2 :byte@prove)    (ACC_C_2 :i128)
-    (BYTE_C_1 :byte@prove)    (ACC_C_1 :i128)
-    (BYTE_C_0 :byte@prove)    (ACC_C_0 :i128)
+    (BYTE_C_3 :byte@prove)    (ACC_C_3 :i64)
+    (BYTE_C_2 :byte@prove)    (ACC_C_2 :i64)
+    (BYTE_C_1 :byte@prove)    (ACC_C_1 :i64)
+    (BYTE_C_0 :byte@prove)    (ACC_C_0 :i64)
     ;==========================
-    (BYTE_H_3 :byte@prove)    (ACC_H_3 :i128)
-    (BYTE_H_2 :byte@prove)    (ACC_H_2 :i128)
-    (BYTE_H_1 :byte@prove)    (ACC_H_1 :i128)
-    (BYTE_H_0 :byte@prove)    (ACC_H_0 :i128)
+    (BYTE_H_3 :byte@prove)    (ACC_H_3 :i64)
+    (BYTE_H_2 :byte@prove)    (ACC_H_2 :i64)
+    (BYTE_H_1 :byte@prove)    (ACC_H_1 :i64)
+    (BYTE_H_0 :byte@prove)    (ACC_H_0 :i64)
     ;==========================
     (EXPONENT_BIT               :binary@prove)
     (EXPONENT_BIT_ACCUMULATOR   :i8)