Made use of the standard library in gaussian.CDF