Description:
------------
Docs at http://php.net/manual/en/function.gmp-random.php say:

Generate a random number. The number will be between zero and the number of bits per limb multiplied by limiter.
...
Generally, the number of bits in a limb is either 16 or 32, but this is not guaranteed. 


The errors are:

- "number of bits per limb multiplied by limiter" is not the upper boundary of the random number, instead it is 2**n-1, where n is "number of bits per limb multiplied by limiter"
- number of bits in a limb is in most cases 64 or 32, not 32 or 16.


Suggested correction (partly taken from docs of gmp_random_bits()):

Generate a random number. The number will be between 0 and (2 ** n) - 1, where n is the number of bits per limb multiplied by limiter.
 
...
Generally, the number of bits in a limb is either 64 or 32, but this is not guaranteed.


If you mind: where are the sources for the man pages (git URL or similar)? I could then attach a patch.