ass="number">2.0</span><span class="special">,+</span><span class="number">2.0</span><span class="special">]</span></code>
          </li>
<li class="listitem">
            A numeric type <code class="computeroutput"><span class="identifier">Whole</span></code>
            representing real numbers with a <span class="emphasis"><em>numeric set</em></span>: <code class="computeroutput"><span class="special">{-</span><span class="number">2.0</span><span class="special">,-</span><span class="number">1.0</span>