PHP mt_rand not returning an integer
<p>I have the following code in a PHP script:</p>

<pre><code>$sol = mt_rand(1,3);
</code></pre>

<p>I thought this was meant to return an integer but instead I'm getting a number with about 6 decimal places. How can I force it to return 1,2 or 3?</p>

<p>Thanks</p>
