diff --git a/ansi-tests/numbers-aux.lsp b/ansi-tests/numbers-aux.lsp
index f42f7f939619f3cb3425ebfc523730bfcb33fca6..a27d715a3a1e931a09848342a4065916f4f04f11 100644
--- a/ansi-tests/numbers-aux.lsp
+++ b/ansi-tests/numbers-aux.lsp
@@ -49,7 +49,8 @@
 		 (setq lo mid)
 	       (if (= mid hi)
 		   (return lo)
-		 (setq hi mid))))))
+		 (setq hi mid))))
+	finally (return lo)))
 
 (defun find-largest-exactly-floatable-integer (upper-bound)
   (integer-binary-search