Using class member initializers (C++11) in rand.h