">1.0</code>.</p>
</div>
</div>

<pre><span id="VALof_int"><span class="keyword">val</span> of_int</span> : <code class="type">int -&gt; float</code></pre><div class="info ">
<div class="info-desc">
<p>Convert an integer to floating-point.</p>
</div>
</div>

<pre><span id="VALto_int"><span class="keyword">val</span> to_int</span> : <code class="type">float -&gt; int</code></pre><div class="info ">
<div class="info-desc">
<p>Truncate the given floating-point number to an integer.
    The result is unspecifie