added manual doc about behavior of normal_cdf functions