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