Random number library.
