Added alternative random number generator