n> is_integer_num</span> : <code class="type"><a href="Num.html#TYPEnum">num</a> -&gt; bool</code></pre><div class="info ">
Test if a number is an integer<br>
</div>
<br>
The four following functions approximate a number by an integer :<br>

<pre><span id="VALinteger_num"><span class="keyword">val</span> integer_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">integer_num n</code> returns the intege