ass="special">==</span><span class="identifier">next</span></code>, the representation is faithfully
        rounded. If the choice between <code class="computeroutput"><span class="identifier">prev</span></code>
        and <code class="computeroutput"><span class="identifier">next</span></code> matches a given
        <span class="bold"><strong>rounding direction</strong></span>, it is <span class="bold"><strong>correctly
        rounded</strong></span>.
      </p>
<p>
        All exact representations ar