rand_word         199 rand.c           return (double)rand_word() / (1.0+(double)0x7fffffff);
rand_word         207 rand.c           return (0.5+(double)rand_word()) / (1.0+(double)0x7fffffff);
rand_word          35 rand.h         int rand_word (void);		/* Generate random 31-bit positive integer */