diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
index 2e7ed0dc..79d05611 100644
--- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
@@ -679,7 +679,8 @@
   (test-suite
    "tc-literal tests"
    (tc-l 5 -Integer)
-   (tc-l 5# -Integer)
+   (tc-l 5# N)
+   (tc-l 5.0 N)
    (tc-l 5.1 N)
    (tc-l #t (-val #t))
    (tc-l "foo" -String)
diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss
index 9f0831ae..49129a13 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss
@@ -28,7 +28,7 @@
     (apply Un (map tc-literal es)))
   (define v (syntax-e v-stx))
   (cond
-    [(integer? v) -Integer]
+    [(exact-integer? v) -Integer]
     [(number? v) N]
     [(char? v) -Char]
     [(boolean? v) (-val v)]