r closest to <code class="code">n</code>. In case of ties,
   rounds towards zero.<br>
</div>

<pre><span id="VALfloor_num"><span class="keyword">val</span> floor_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> -&gt; <a href="Num.html#TYPEnum">num</a></code></pre><div class="info ">
<code class="code">floor_num n</code> returns the largest integer smaller or equal to <code class="code">n</code>.<br>
</div>

<pre><span id="VALround_num"><span class="keyword">val</span> round_num</span> : <