Trying a faster random number generator...