Hi Archisman,

On Tue, Oct 9, 2012 at 8:34 PM, archisman rudra <archi.rudra@gmail.com> wrote:
Is this correct behavior?

CL-USER(17): (type-of 1234567898723618080928927362387)
(INTEGER 2147483648)


Yes: BIGNUM is defined as "INTEGER, but not FIXNUM". (INTEGER 2147483648) is much more restrictive than BIGNUM: it disallows all negative values which are part of the BIGNUM definition.

HTH,

Erik.