genrandRes53 method

double genrandRes53()

Implementation

double genrandRes53() {
  //c//unsigned long a=genrand_int32()>>5, b=genrand_int32()>>6;
  var a = genrandInt32() >> 5, b = genrandInt32() >> 6;
  return (a * 67108864.0 + b) * (1.0 / 9007199254740992.0);
}