toolbox for WELL random number generators.