void setGaussianSeed(unsigned int seed);
double nextGaussian();