diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 1f396f12..678bea17 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -76,7 +76,6 @@
 [newline (cl-> [() -Void]
                [(-Port) -Void])]
 [not (-> Univ B)]
-[floor (-> N N)]
 [box (-poly (a) (a . -> . (-box a)))]
 [unbox (-poly (a) ((-box a) . -> . a))]
 [set-box! (-poly (a) ((-box a) a . -> . -Void))]
@@ -298,14 +297,21 @@
 [exact->inexact (N . -> . N)]
 [inexact->exact (N . -> . N)]
 
-[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
-[real? (Univ . -> . B)]
+[real?     (Univ . -> . B)]
+[complex?  (Univ . -> . B)]
+[rational? (Univ . -> . B)]
+[floor    (-> N N)]
+[ceiling  (-> N N)]
+[truncate (-> N N)]
 [real-part (N . -> . N)]
 [imag-part (N . -> . N)]
 [magnitude (N . -> . N)]
 [angle (N . -> . N)]
 [numerator (N . -> . -Integer)]
 [denominator (N . -> . -Integer)]
+[expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))]
+[log (N . -> . N)]
+[exp (N . -> . N)]
 
 [arithmetic-shift (-Integer -Integer . -> . -Integer)]