Random number library for nim