diff --git a/tests/issues/issue835.icry b/tests/issues/issue835.icry
index 1e6d493c9..f99c0351a 100644
--- a/tests/issues/issue835.icry
+++ b/tests/issues/issue835.icry
@@ -1,2 +1,2 @@
 :m Float
-:t (zero : Float 5 11) <$ zero
+:t number`{1, Float _ _}
diff --git a/tests/issues/issue835.icry.stdout b/tests/issues/issue835.icry.stdout
index 894a9b670..f27799afd 100644
--- a/tests/issues/issue835.icry.stdout
+++ b/tests/issues/issue835.icry.stdout
@@ -1,9 +1,4 @@
 Loading module Cryptol
-Loading module Cryptol
 Loading module Float
-
-[error] at issue835.icry:2:4--2:31:
-  • Type `Float 5 11` does not support signed comparisons.
-      arising from
-      use of expression (<$)
-      at issue835.icry:2:4--2:31
+number`{1, Float _ _} :
+  {n, m} (ValidFloat n m, Literal 1 (Float n m)) => Float n m