<span id="VALfloat_of_big_int"><span class="keyword">val</span> float_of_big_int</span> : <code class="type"><a href="Big_int.html#TYPEbig_int">big_int</a> -&gt; float</code></pre><div class="info">
Returns a floating-point number approximating the
           given big integer.<br>
</div>
<br>
<span id="6_Bitorientedoperations"><h6>Bit-oriented operations</h6></span><br>
<pre><span id="VALand_big_int"><span class="keyword">val</span> and_big_int</span> : <code class="type"><a href="Big_int.html#TYPEbig_int"