lass="info">
Division of a number by an interval <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALdiv_di">div_di</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Division of a number by an interval
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALdiv_id">div_id</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
Division of an interval by a number <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALdiv_id">div_id</a> [<a