diff --git a/src/std_extensions/arithmetic/int_ops.rs b/src/std_extensions/arithmetic/int_ops.rs
index 9a77f5dfb..cd9221deb 100644
--- a/src/std_extensions/arithmetic/int_ops.rs
+++ b/src/std_extensions/arithmetic/int_ops.rs
@@ -81,11 +81,15 @@ fn extension() -> Extension {
 
     let idiv_checked_sig = int_polytype(
         2,
-        vec![int_type_var(1)],
+        vec![int_type_var(0), int_type_var(1)],
         vec![sum_with_error(int_type_var(0))],
     );
 
-    let idiv_sig = int_polytype(2, vec![int_type_var(1)], vec![int_type_var(0)]);
+    let idiv_sig = int_polytype(
+        2,
+        vec![int_type_var(0), int_type_var(1)],
+        vec![int_type_var(0)],
+    );
 
     let imod_checked_sig = int_polytype(
         2,
@@ -99,7 +103,11 @@ fn extension() -> Extension {
         vec![int_type_var(1)],
     );
 
-    let ish_sig = int_polytype(2, vec![int_type_var(1)], vec![int_type_var(0)]);
+    let ish_sig = int_polytype(
+        2,
+        vec![int_type_var(0), int_type_var(1)],
+        vec![int_type_var(0)],
+    );
 
     let widen_poly = int_polytype(2, vec![int_type_var(0)], vec![int_type_var(1)]);
     let narrow_poly = int_polytype(