t be represented in
            <code class="computeroutput"><span class="identifier">Cardinal</span></code>, yielding negative
            overflow.
          </li>
<li class="listitem">
            The real number <code class="computeroutput"><span class="number">1.5</span></code> can be
            exactly represented in <code class="computeroutput"><span class="identifier">Real</span></code>,
            and inexactly represented in the other types.
          </li>
<li class="listitem">
            If <