er-defined number
        types.
      </p>
<p>
        Within this library, the term <span class="emphasis"><em>number</em></span> refers to an abstract
        numeric value.
      </p>
<p>
        A type is <span class="bold"><strong>numeric</strong></span> if:
      </p>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
            It is an arithmetic type, or,
          </li>
<li class="listitem">
            It is a user-defined type which
      