diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 4579ee34..f314d272 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -577,7 +577,7 @@
 
 [current-continuation-marks (-> -Cont-Mark-Set)]
 
-;; path.ss
+;; scheme/path
 
 [explode-path (-Pathlike . -> . (-lst (Un -Path (-val 'up) (-val 'same))))]
 [find-relative-path (-Pathlike -Pathlike . -> . -Path)]
@@ -591,3 +591,13 @@
 [string->some-system-path 
  (-String (Un (-val 'unix) (-val 'windows)) . -> . -Path)]
 
+;; scheme/math
+
+[sgn (-Real . -> . -Real)]
+[pi N]
+[sqr (N . -> . N)]
+[sgn (N . -> . N)]
+[conjugate (N . -> . N)]
+[sinh (N . -> . N)]
+[cosh (N . -> . N)]
+[tanh (N . -> . N)]
\ No newline at end of file
diff --git a/collects/typed-scheme/private/type-abbrev.ss b/collects/typed-scheme/private/type-abbrev.ss
index 35de27f4..ea415730 100644
--- a/collects/typed-scheme/private/type-abbrev.ss
+++ b/collects/typed-scheme/private/type-abbrev.ss
@@ -204,6 +204,8 @@
 (define -Pattern (*Un -String -Bytes -Regexp -Byte-Regexp -PRegexp -Byte-PRegexp))
 (define -Byte N)
 
+(define -Real N)
+
 (define (-Tuple l)
   (foldr -pair (-val '()) l))