When import System.Random does not work, read this installation guide.
Include a StdGen in your model to let you randomize.