On Ubuntu 12.04.1 LTS, I entered the command "man random" in order to examine the range of the random number generator. Unfortunately this command does NOT reveal what the MAX_RAND setting is. My system is 64 bit OS. Can I assume that MAX_RAND = 2^64-1 ?? There is some clarification for MAX_RAND that is needed.