keyword">val</span> fadd_high</span> : <code class="type">float -> float -> float</code></pre><div class="info ">
Floating point addition in nearest, low and high mode<br>
</div>

<pre><span id="VALfsub"><span class="keyword">val</span> fsub</span> : <code class="type">float -> float -> float</code></pre>
<pre><span id="VALfsub_low"><span class="keyword">val</span> fsub_low</span> : <code class="type">float -> float -> float</code></pre>
<pre><span id="VALfsub_high"><span class="keyword">val</span> fsub_hig