potion_rand_double  175 core/mt19937ar.c   return PN_NUM(potion_rand_double());
potion_rand_double  670 core/potion.h  double potion_rand_double();