diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
index d8aa1e44f1..1ede210e8b 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
@@ -28,7 +28,7 @@
 (define (portable-fixnum? n)
   (and (exact-integer? n)
        (< n (expt 2 30))
-       (> n (- (expt 2 30)))))
+       (>= n (- (expt 2 30)))))
 
 ;; return the type of a literal value
 ;; scheme-value -> type