Fix handling of inexact integer literals.

svn: r13294

original commit: 2962c0bfa7f13a16406248abf891c574fe08b006

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)

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)]