Call hphp_rand, which matches the expected behaviour of PHP rand()