ss="special">&lt;</span><span class="identifier">y</span></code> are
        <span class="bold"><strong>consecutive</strong></span> iff <code class="computeroutput"><span class="identifier">next</span><span class="special">(</span><span class="identifier">x</span><span class="special">)==</span><span class="identifier">y</span></code>.
      </p>
<p>
        The abstract distance between consecutive numeric values is usually referred
        to as a <span class="underline">Unit in the Last Place</span>, or
