Sqrt(2)*InverseErf(19/20) 13 digits