ode>, but
              in this case, some values are <span class="emphasis"><em>inexactly</em></span> representable
              (all the halves). (note: it is to permit this case that a range is
              an interval of abstract values and not an interval of typed values)
            </p></dd>
<dt><span class="term">(b) X-&gt;Z:</span></dt>
<dd><p>
              <code class="computeroutput"><span class="identifier">R</span><span class="special">(</span><span class="identifier">X</span><span class="sp