SimpleRNG.double