t overflow).
      </p>
<p>
        A numeric type is <span class="bold"><strong>integer</strong></span> if the abstract
        values it represent are whole numbers.
      </p>
<p>
        A numeric type is <span class="bold"><strong>floating</strong></span> if the abstract
        values it represent are real numbers.
      </p>
<p>
        An <span class="bold"><strong>arithmetic value</strong></span> is the typed value of
        an arithmetic type
      </p>
<p>
        A <span class="bold"><strong>nu