diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss
index fe11cea5..f84d5b6c 100644
--- a/collects/typed-scheme/types/printer.ss
+++ b/collects/typed-scheme/types/printer.ss
@@ -144,7 +144,7 @@
   (match c 
     [(Univ:) (fp "Any")]
     ;; special case number until something better happens
-    [(Base: 'Number _) (fp "Number")]
+    ;;[(Base: 'Number _) (fp "Number")]
     [(? has-name?) (fp "~a" (has-name? c))]
     [(StructTop: st) (fp "~a" st)]
     [(BoxTop:) (fp "Box")]
diff --git a/collects/typed/scheme/base.ss b/collects/typed/scheme/base.ss
index 000da9a2..be070611 100644
--- a/collects/typed/scheme/base.ss
+++ b/collects/typed/scheme/base.ss
@@ -14,6 +14,8 @@
 	 typed-scheme/private/base-special-env
 	 typed-scheme/private/base-env-numeric
 	 typed-scheme/private/base-env-indexing
+	 typed-scheme/private/extra-procs
 	 (for-syntax typed-scheme/private/base-types-extra))
 (provide (rename-out [with-handlers: with-handlers])
+	 assert
          (for-syntax (all-from-out typed-scheme/private/base-types-extra)))