genrand_real      217 random.c           return genrand_real(&default_mt.mt);
genrand_real      508 random.c                           return DBL2NUM(genrand_real(mt));
genrand_real      525 random.c       	return DBL2NUM(genrand_real(mt));