"title">8.17.7. Discrete Range Types <a href="#RANGETYPES-DISCRETE" class="id_link">#</a></h3></div></div></div><p>
   A discrete range is one whose element type has a well-defined
   <span class="quote">“<span class="quote">step</span>”</span>, such as <code class="type">integer</code> or <code class="type">date</code>.
   In these types two elements can be said to be adjacent, when there are
   no valid values between them.  This contrasts with continuous ranges,
   where it's always (or almost alway