/a></div><ul><li><a href="#1_Floatingpointarithmetic">Floating-point arithmetic</a></li></ul></nav></header>

<h1>Module <a href="type_Float.html">Float</a></h1>

<pre><span id="MODULEFloat"><span class="keyword">module</span> Float</span>: <code class="code"><span class="keyword">sig</span></code> <a href="Float.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
<div class="info-desc">
<h2 id="1_Floatingpointarithmetic">Floating-point arithmetic</h2>
