Stephen Trask random number generation