href="Numbers.Int.html">Int</a> [<a href="Numbers.html">Numbers</a>]</td>
<td></td></tr>
<tr><td><a href="Int32.html">Int32</a> </td>
<td><div class="info">
32-bit integers.
</div>
</td></tr>
<tr><td><a href="Int64.html">Int64</a> </td>
<td><div class="info">
64-bit integers.
</div>
</td></tr>
<tr><td><a href="Clflags.Int_arg_helper.html">Int_arg_helper</a> [<a href="Clflags.html">Clflags</a>]</td>
<td></td></tr>
<tr><td><a href="Misc.Int_literal_converter.html">Int_literal_converter</a> [<a href="Misc.html