guarda qui...se può essere di aiuto

http://it2.php.net/manual/it/function.gmp-random.php