bugfix for large values in normal cdf