diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt
index 7805bd0832..737139509c 100644
--- a/collects/typed-scheme/private/base-env-numeric.rkt
+++ b/collects/typed-scheme/private/base-env-numeric.rkt
@@ -397,6 +397,7 @@
                     (-Real -Real . -> . N))]
 [expt (cl->* (-Nat -Nat . -> . -Nat)
              (-Integer -Nat . -> . -Integer)
+             (-Integer -Integer . -> . -ExactRational)
              (-Real -Integer . -> . -Real)
              (-InexactComplex -InexactComplex . -> . -InexactComplex)
              (N N . -> . N))]