Gaussian negligible after this many standard deviations. Evaluated at double precision with 1 extra standard deviation for margin.