Random number generation library for Nimrod