diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
index 1484a5d2..2d4e6655 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
@@ -1635,7 +1635,7 @@
              (-FloatComplex -InexactComplex . -> . -FloatComplex)
              (-SingleFlonumComplex -SingleFlonumComplex . -> . -SingleFlonumComplex)
              (-SingleFlonumComplex -SingleFlonum . -> . (Un -SingleFlonumComplex -SingleFlonum))
-             (-InexactComplex (Un -InexactReal -InexactComplex) . -> . -InexactComplex)
+             (-InexactComplex -InexactComplex . -> . -InexactComplex)
              (N N . -> . N))]
 [sqrt
  (from-cases
diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
index df65a5ef..fce03331 100644
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -460,6 +460,7 @@
         (tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Number)
         (tc-e (expt (sin +inf.f) +nan.0+nan.0i) -Number)
         (tc-e (/ (gcd 1 0) -0.0f0 2.718281828459045) -Real)
+        (tc-e (expt (make-polar (floor 6.468476f+31) (tanh +nan.f)) +nan.0) -Number)
         (tc-e (exact->inexact 3) -PosFlonum)
         (tc-e (exact->inexact -3) -NegFlonum)
         (tc-e (real->double-flonum 0.0) -FlonumPosZero)