Max arc4random() value : For some reason I'm not able to find any sort of official doc telling me what the maximum range is for arc4random. I've seen in some non-authoritarian sources that it's 2^32 - 1, a little over 4 billion. 

Can anyone confirm this? If so, can you link to an official doc showing this number somewhere? I'm trying to generate a random number on my iOS app and need to have a pretty official upper end for the algorithm to work correctly. Thanks in advance!