9.3 Using probability densities with random number generators