finement of</a></span></dt>
<dt><span class="section"><a href="integer_concept.html#idm462685193680">Notation</a></span></dt>
<dt><span class="section"><a href="integer_concept.html#idm462685182912">Valid Expressions</a></span></dt>
<dt><span class="section"><a href="integer_concept.html#idm462685126272">Models</a></span></dt>
<dt><span class="section"><a href="integer_concept.html#idm462685124544">Header</a></span></dt>
</dl></div>
<div class="section">
<div class="titlepage"><div><div><h4 class="title">
<