docs: function(name) {
           // "name" encapsulates some simple options like precision
           rgen.random = rgen.algorithms[name].random;
           rgen.setSeed = rgen.algorithms[name].setSeed;
           return rgen.setRandomSeed();
        }