Additional random number generators.