d">val</span> int_of_float</span> : <code class="type">float -&gt; int</code></pre><div class="info ">
Truncate the given floating-point number to an integer.
   The result is unspecified if the argument is <code class="code">nan</code> or falls outside the
   range of representable integers.<br>
</div>

<pre><span id="VALinfinity"><span class="keyword">val</span> infinity</span> : <code class="type">float</code></pre><div class="info ">
Positive infinity.<br>
</div>

<pre><span id="VALneg_infinity"><span c