Random number, sequence, and other randomization tools for JS