f the abstract value <code class="computeroutput"><span class="identifier">R</span></code>
        which is the theoretical result.
      </p>
<p>
        Because a correctly rounded representation is always one of adjacents of
        the abstract value being represented, the roundoff is guaranteed to be at
        most 1ulp.
      </p>
<p>
        The following examples summarize the given definitions. Consider:
      </p>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">