PHP_MT_RAND_MAX   343 ext/standard/rand.c 		RAND_RANGE(number, min, max, PHP_MT_RAND_MAX);
PHP_MT_RAND_MAX   374 ext/standard/rand.c   	RETURN_LONG(PHP_MT_RAND_MAX); /* 2^^31 */