diff --git a/tests/lean/intModBug.lean b/tests/lean/intModBug.lean
new file mode 100644
index 0000000000..d419870087
--- /dev/null
+++ b/tests/lean/intModBug.lean
@@ -0,0 +1,9 @@
+#reduce (10 : Int) % 0
+#reduce (-10 : Int) % 0
+#eval (10:Int) % 0
+#eval (-10 : Int) % 0
+
+#reduce (10000000000000000000000000000000000 : Int) % 0
+#reduce (-10000000000000000000000000000000000 : Int) % 0
+#eval (10000000000000000000000000000000000:Int) % 0
+#eval (-10000000000000000000000000000000000 : Int) % 0
diff --git a/tests/lean/intModBug.lean.expected.out b/tests/lean/intModBug.lean.expected.out
new file mode 100644
index 0000000000..725e9f83fb
--- /dev/null
+++ b/tests/lean/intModBug.lean.expected.out
@@ -0,0 +1,8 @@
+Int.ofNat 10
+Int.negSucc 9
+10
+9
+Int.ofNat 10000000000000000000000000000000000
+Int.negSucc 9999999999999999999999999999999999
+10000000000000000000000000000000000
+9999999999999999999999999999999999