Park–Miller random number generator