folded_normal_cdf