module RealRand