diff --git a/compiler/builtins/src/std.rs b/compiler/builtins/src/std.rs
index 32f60edf0c..c347ca9893 100644
--- a/compiler/builtins/src/std.rs
+++ b/compiler/builtins/src/std.rs
@@ -286,25 +286,16 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
     // lowest : Int
     add_type(Symbol::INT_LOWEST, int_type());
 
-    let div_by_zero = SolvedType::TagUnion(
-        vec![(TagName::Global("DivByZero".into()), vec![])],
-        Box::new(SolvedType::Wildcard),
-    );
-    // div : Int, Int -> Result Int [ DivByZero ]*
-    add_type(
-        Symbol::INT_DIV,
-        SolvedType::Func(
-            vec![int_type(), int_type()],
-            Box::new(result_type(flex(TVAR1), div_by_zero.clone())),
-        ),
-    );
-
     // div : Int, Int -> Int
     add_type(
         Symbol::INT_DIV_UNSAFE,
         SolvedType::Func(vec![int_type(), int_type()], Box::new(int_type())),
     );
 
+    let div_by_zero = SolvedType::TagUnion(
+        vec![(TagName::Global("DivByZero".into()), vec![])],
+        Box::new(SolvedType::Wildcard),
+    );
     // mod : Int, Int -> Result Int [ DivByZero ]*
     add_type(
         Symbol::INT_MOD,