i1 : erfc 2 o1 = .00467773498104727 o1 : RR (of precision 53)
See http://en.wikipedia.org/wiki/Error_function.