>
<p>Convert the given 32-bit integer to a floating-point number.</p>
</div>
</div>

<pre id="VALof_string">val of_string : string -&gt; int32</pre><div class="info ">
<div class="info-desc">
<p>Convert the given string to a 32-bit integer.
   The string is read in decimal (by default, or if the string
   begins with <code class="code">0u</code>) or in hexadecimal, octal or binary if the
   string begins with <code class="code">0x</code>, <code class="code">0o</code> or <code class="code">0b</code> respecti