Use faster random number generator