diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 1de07c3d..ef64d385 100644
--- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -172,6 +172,7 @@
         (tc-e (- -23524623547234734568) -PosInt)
         (tc-e (- 241.3) -NegFlonum)
         (tc-e (- -24.3) -PosFlonum)
+        (tc-e (*) -One)
 
         (tc-e (gcd 1/2) -PosRat)
         (tc-e (gcd 3 1/2) -PosRat)
diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt
index e9b29f67..da54cbae 100644
--- a/collects/typed-racket/base-env/base-env-numeric.rkt
+++ b/collects/typed-racket/base-env/base-env-numeric.rkt
@@ -948,6 +948,7 @@
      (->* (list R R) R B))]
 
 [* (from-cases
+    (-> -One)
     (commutative-case -Zero N -Zero)
     (map (lambda (t) (commutative-binop -One t))
          all-number-types)