var SCRandom = require("sc-random");
 
var rand = SCRandom(1234);
 
console.log(rand.random()); // 0.5005367218982428
console.log(rand.random()); // 0.7501223483122885
console.log(rand.random()); // 0.9778963222634047

(
  thisThread.randSeed = 1234;
 
  1.0.rand.postln;  // 0.50053668022156
  1.0.rand.postln;  // 0.75012230873108
  1.0.rand.postln;  // 0.97789621353149
)