genrand_real      274 random.c           return genrand_real(mt);
genrand_real      970 random.c           return genrand_real(&rnd->mt);
genrand_real     1442 random.c           return DBL2NUM(genrand_real(&rnd->mt));