type">float -> float -> float</code></pre><div class="info ">
Floating point multiplication in nearest, low and high mode<br>
</div>

<pre><span id="VALfdiv"><span class="keyword">val</span> fdiv</span> : <code class="type">float -> float -> float</code></pre>
<pre><span id="VALfdiv_low"><span class="keyword">val</span> fdiv_low</span> : <code class="type">float -> float -> float</code></pre>
<pre><span id="VALfdiv_high"><span class="keyword">val</span> fdiv_high</span> : <code class="type">float -> float -