td><a href="Interval1.html#VALfpred">fpred</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Computes a predecessor of a floating-point number
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALfsin_high">fsin_high</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Returns an upper bound of <code class="code">sin x</code>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALfsin_low">fsin_low</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="inf