__max              44 ext/standard/php_rand.h #define RAND_RANGE(__n, __min, __max, __tmax) \
__max              45 ext/standard/php_rand.h     (__n) = (__min) + (zend_long) ((double) ( (double) (__max) - (__min) + 1.0) * ((__n) / ((__tmax) + 1.0)))