diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index 737139509c..07701808a3 100644
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@@ -428,11 +428,9 @@
 [sgn (-Real . -> . -Real)]
 [pi -NonnegativeFlonum]
 [sqr (cl->* (-> -Pos -Pos)
-            (-> -Nat -Nat)
-            (-> -Integer -Integer)
+            (-> -Integer -Nat)
             (-> -ExactRational -ExactRational)
-            (-> -NonnegativeFlonum -NonnegativeFlonum)
-            (-> -Flonum -Flonum)
+            (-> -Flonum -NonnegativeFlonum)
             (-> -Real -Real)
             (-> -InexactComplex -InexactComplex)
             (-> N N))]