Thanks guys, that was clarifying.<br><br><div class="gmail_quote">On Tue, Oct 9, 2012 at 3:03 PM, Zach Beane <span dir="ltr"><<a href="mailto:xach@xach.com" target="_blank">xach@xach.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">archisman rudra <<a href="mailto:archi.rudra@gmail.com">archi.rudra@gmail.com</a>> writes:<br>
<br>
> Is this correct behavior?<br>
><br>
> CL-USER(17): (type-of 1234567898723618080928927362387)<br>
> (INTEGER <a href="tel:2147483648" value="+12147483648">2147483648</a>)<br>
<br>
</div>Sure.<br>
<br>
  (typep 1234567898723618080928927362387 '(INTEGER <a href="tel:2147483648" value="+12147483648">2147483648</a>))<br>
  => T<br>
<span class="HOEnZb"><font color="#888888"><br>
Zach<br>
</font></span></blockquote></div><br>