d the result has the same sign as <code class="code">b</code>.
            Equivalent to division by <code class="code">2^n</code> with the result being
            rounded towards zero.<br>
</div>
<pre><span id="VALextract_big_int"><span class="keyword">val</span> extract_big_int</span> : <code class="type"><a href="Big_int.html#TYPEbig_int">big_int</a> -&gt; int -&gt; int -&gt; <a href="Big_int.html#TYPEbig_int">big_int</a></code></pre><div class="info">
<code class="code">extract_big_int bi ofs n</code> 