Refined genrand.js