Thanks, that was my error. This flurry of emails made me go look at the hyperspec.

On Tue, Oct 9, 2012 at 3:48 PM, Zach Beane <xach@xach.com> wrote:
archisman rudra <archi.rudra@gmail.com> writes:

> My confusion is whether it matters that  2147483648
> < 1234567898723618080928927362387
>
> Doesn't the type descriptor (INTEGER 2147483648) mean integers upto 2147483648?

No, the INTEGER type specifier takes two arguments. The first one
expresses the lower bound, and the optional second the upper bound. If
the second argument is omitted, it defaults to *, meaning no upper
bound.

(MOD 2147483648) is more what you're thinking of.

Zach