randval          4982 ext/standard/array.c 	zend_long randval, num_req = 1;
randval          5011 ext/standard/array.c 		randval = php_rand();
randval          5013 ext/standard/array.c 		if ((double) (randval / (PHP_RAND_MAX + 1.0)) < (double) num_req / (double) num_avail) {