102.07 Evaluating the probability integral by approximating exp(−x2). Issue 553 (8th February 2018)