Thanks, that was my error. This flurry of emails made me go look at the hyperspec.<br><br><div class="gmail_quote">On Tue, Oct 9, 2012 at 3:48 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>
> My confusion is whether it matters that  <a href="tel:2147483648" value="+12147483648">2147483648</a><br>
> < 1234567898723618080928927362387<br>
><br>
> Doesn't the type descriptor (INTEGER <a href="tel:2147483648" value="+12147483648">2147483648</a>) mean integers upto <a href="tel:2147483648" value="+12147483648">2147483648</a>?<br>
<br>
</div>No, the INTEGER type specifier takes two arguments. The first one<br>
expresses the lower bound, and the optional second the upper bound. If<br>
the second argument is omitted, it defaults to *, meaning no upper<br>
bound.<br>
<br>
(MOD <a href="tel:2147483648" value="+12147483648">2147483648</a>) is more what you're thinking of.<br>
<span class="HOEnZb"><font color="#888888"><br>
Zach<br>
</font></span></blockquote></div><br>