pub fn norm_cdf(x: f64) -> f64
Cumulative distribution function of a standard normal random variable x.