Redirecting to Park–Miller random number generator