: <code class="type">string -&gt; <a href="Num.html#TYPEnum">num</a></code></pre><div class="info ">
Convert a string to a number.
   Raise <code class="code"><span class="constructor">Failure</span> <span class="string">"num_of_string"</span></code> if the given string is not
   a valid representation of an integer<br>
</div>
<br>
<h6 id="6_Coercionsbetweennumericaltypes">Coercions between numerical types</h6><br>

<pre><span id="VALint_of_num"><span class="keyword">val</span> int_of_num</span> : <code cla