a href="Big_int.html#TYPEbig_int">big_int</a> -&gt; string</code></pre><div class="info ">
Return the string representation of the given big integer,
           in decimal (base 10).<br>
</div>

<pre><span id="VALbig_int_of_string"><span class="keyword">val</span> big_int_of_string</span> : <code class="type">string -&gt; <a href="Big_int.html#TYPEbig_int">big_int</a></code></pre><div class="info ">
Convert a string to a big integer, in decimal.
           The string consists of an optional <code class="cod