diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt
index 5d784ca8..f1bba93c 100644
--- a/collects/tests/typed-racket/tr-random-testing.rkt
+++ b/collects/tests/typed-racket/tr-random-testing.rkt
@@ -175,6 +175,8 @@
      (sin E*)
      (tan E*)
      (sqr E*)
+     (make-rectangular E* E*)
+     (make-polar E* E*)
      ])
 ;; generated from: (map car (file->list "base-env-parts"))
 
diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt
index 64ae8964..742eedbc 100644
--- a/collects/typed-racket/base-env/base-env-numeric.rkt
+++ b/collects/typed-racket/base-env/base-env-numeric.rkt
@@ -1610,8 +1610,9 @@
 [round (round-type)]
 
 [make-rectangular (cl->* (-Rat -Rat . -> . -ExactNumber)
-                         (-Flonum -Real . -> . -FloatComplex)
-                         (-Real -Flonum . -> . -FloatComplex)
+                         (-Flonum -Flonum . -> . -FloatComplex)
+                         (-Flonum (Un -PosReal -NegReal) . -> . -FloatComplex) ; no exact 0
+                         ((Un -PosReal -NegReal) -Flonum . -> . -FloatComplex)
                          (-SingleFlonum -SingleFlonum . -> . -SingleFlonumComplex)
                          (-InexactReal -InexactReal . -> . -InexactComplex)
                          (-Real -Real . -> . N))]