de> is represented as
            <code class="computeroutput"><span class="special">+</span><span class="number">1.5</span></code>
            in the type <code class="computeroutput"><span class="identifier">Real</span></code>, it
            is incorrectly rounded.
          </li>
<li class="listitem">
            <code class="computeroutput"><span class="special">(-</span><span class="number">2.0</span><span class="special">,-</span><span class="number">1.5</span><span class="special">)</span></code>
  