Sorry, one more thing: instead of doing this, call XORShiftRandom directly, to make it more obvious that this is _not_ the standard Random