Returns a random real number according to a normal distribution with the given mean and standard deviation stdv. stdv must be positive.