al1</a>]</td>
<td><div class="info">
Returns a lower bound of the difference of two floating-point numbers
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALfsucc">fsucc</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
Computes a successor of a floating-point number <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALfsucc">fsucc</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Computes a successor of a floating-point number
</div>
</td></