A random number library for PHP