On Tue, Oct 9, 2012 at 3:03 PM, Zach Beane <xach@xach.com> wrote:

archisman rudra <archi.rudra@gmail.com> writes:

> Is this correct behavior?
>
> CL-USER(17): (type-of 1234567898723618080928927362387)
> (INTEGER 2147483648)

Sure.

(typep 1234567898723618080928927362387 '(INTEGER 2147483648))
=> T

Zach