diff --git a/src/typechecker/define.lisp b/src/typechecker/define.lisp
index dc707f781..b34943ba2 100644
--- a/src/typechecker/define.lisp
+++ b/src/typechecker/define.lisp
@@ -245,6 +245,7 @@ Returns (VALUES INFERRED-TYPE PREDICATES NODE SUBSTITUTIONS)")
 
     (let ((ty (etypecase (parser:node-literal-value node)
                 (ratio tc:*fraction-type*)
+		(fixnum tc:*ifix-type*)
                 (single-float tc:*single-float-type*)
                 (double-float tc:*double-float-type*)
                 (string tc:*string-type*)
@@ -1500,6 +1501,7 @@ Returns (VALUES INFERRED-TYPE NODE SUBSTITUTIONS)")
              (values tc:ty pattern-literal tc:substitution-list))
 
     (let ((ty (etypecase (parser:pattern-literal-value pat)
+		(fixnum tc:*ifix-type*)
                 (integer tc:*integer-type*)
                 (ratio tc:*fraction-type*)
                 (single-float tc:*single-float-type*)