interval bounds are no longer exclusive by default

spec.html

@@ -1024,7 +1024,7 @@ <h1>Mathematical Operations</h1>
       <emu-note>
         <p><emu-eqn>floor(_x_) = _x_ - (_x_ modulo 1)</emu-eqn>.</p>
       </emu-note>
-      <p>An <dfn id="interval">interval</dfn> from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies the criteria _a_ &lt; _x_ and _x_ &lt; _b_. If the lower bound is described as inclusive, _a_ &le; _x_ is used instead of _a_ &lt; _x_. If the upper bound is described as inclusive, _x_ &le; _b_ is used instead of _x_ &lt; _b_. An <dfn id="inclusive-interval">inclusive interval</dfn> is an interval where both bounds are inclusive. For the purpose of defining intervals, *-0*<sub>𝔽</sub> &lt; <!-- this comment here to avoid ecmarkup complaining about comparison to 0 --> *+0*<sub>𝔽</sub>. *NaN* is never included in an interval.</p>
+      <p>An <dfn id="interval">interval</dfn> from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies both its <dfn>lower bound criteria</dfn> and its <dfn>upper bound criteria</dfn>. If an interval's lower bound is described as inclusive, its lower bound criteria is _a_ &le; _x_; otherwise it is _a_ &lt; _x_. If an interval's upper bound is described as inclusive, its upper bound criteria is _x_ &le; _b_; otherwise it is _x_ &lt; _b_. An <dfn id="inclusive-interval">inclusive interval</dfn> is an interval where both bounds are inclusive. It is an editorial error if a lower bound or upper bound is not described as either inclusive or exclusive. For the purpose of defining intervals, *-0*<sub>𝔽</sub> &lt; <!-- this comment here to avoid ecmarkup complaining about comparison to 0 --> *+0*<sub>𝔽</sub>. *NaN* is never included in an interval.</p>
     </emu-clause>
 
     <emu-clause id="sec-value-notation">