diff --git a/test/ic3/ratio.in b/test/ic3/ratio.in
index 472e03d..53bf94e 100644
--- a/test/ic3/ratio.in
+++ b/test/ic3/ratio.in
@@ -30,6 +30,8 @@ quote - -123456/3
- -123456/3
quote 1/3 + 1/6
1/3 + 1/6
+quote 1/2 + 1
+1/2 + 1
quote 1/3 - 1/6
1/3 - 1/6
quote 2/3 * 5/6
diff --git a/test/ic3/ratio.out.expected b/test/ic3/ratio.out.expected
index 274d93f..bf835a0 100644
--- a/test/ic3/ratio.out.expected
+++ b/test/ic3/ratio.out.expected
@@ -30,6 +30,8 @@
123456/3
1/3 + 1/6
1/2
+1/2 + 1
+3/2
1/3 - 1/6
1/6
2/3 * 5/6