diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index 210b2f6d2f..b840276b17 100644
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@@ -414,6 +414,12 @@
        (-NonnegativeFlonum . -> . -NonnegativeFlonum)
        (-FloatComplex . -> . -FloatComplex)
        (N . -> . N))]
+[integer-sqrt (cl->*
+               (-Zero . -> . -Zero)
+               (-NonnegativeFixnum . -> . -NonnegativeFixnum)
+               (-Nat . -> . -Nat)
+               (-NonnegativeFlonum . -> . -NonnegativeFlonum)
+               (-Real . -> . N))]
 [log (cl->*
       (-Pos . -> . -Real)
       (-FloatComplex . -> . -FloatComplex)