r with a random seed chosen
   in a system-dependent way.  If <code class="code">/dev/urandom</code> is available on
   the host machine, it is used to provide a highly random initial
   seed.  Otherwise, a less random seed is computed from system
   parameters (current time, process IDs).<br>
</div>

<pre><span id="VALbits"><span class="keyword">val</span> bits</span> : <code class="type">unit -&gt; int</code></pre><div class="info ">
Return 30 random bits in a nonnegative integer.<br>
<b>Before 3.12.0 </b