A custom PHP random number generator.