num n</code> returns the smallest integer bigger or equal to <code class="code">n</code>.<br>
</div>

<pre><span id="VALsign_num"><span class="keyword">val</span> sign_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> -&gt; int</code></pre><div class="info ">
Return <code class="code">-1</code>, <code class="code">0</code> or <code class="code">1</code> according to the sign of the argument.<br>
</div>
<br>
<div class="h7" id="7_Comparisonsbetweennumbers">Comparisons between numbers</div><b