Just a utility function to generate random numbers from a normaldistribution. I find myself doing this several times a year, and I amsure I must not be the only one.
random_normal(stddev float8 DEFAULT 1.0, mean float8 DEFAULT 0.0)