8ee0ecdb76818f348e528b1c2757"><td class="memItemLeft" align="right" valign="top"><a id="a7e458ee0ecdb76818f348e528b1c2757" name="a7e458ee0ecdb76818f348e528b1c2757"></a>
&#160;</td><td class="memItemRight" valign="bottom"><b>Nat</b> (uint64_t x)</td></tr>
<tr class="memitem:aff5563fa4e8824f07c781e35804142bf" id="r_aff5563fa4e8824f07c781e35804142bf"><td class="memItemLeft" align="right" valign="top"><a id="aff5563fa4e8824f07c781e35804142bf" name="aff5563fa4e8824f07c781e35804142bf"></a>
&#160;</td><td class="m