wrapper type thing for C++11 <random>