code class="computeroutput"><span class="number">1.5</span></code> is represented as
            either <code class="computeroutput"><span class="number">1</span></code> or <code class="computeroutput"><span class="number">2</span></code> in any of the types (except <code class="computeroutput"><span class="identifier">Real</span></code>), the representation is correctly
            rounded.
          </li>
<li class="listitem">
            If <code class="computeroutput"><span class="number">0.5</span></co