i1 : eint 2 o1 = 4.95423435600189 o1 : RR (of precision 53)
See http://en.wikipedia.org/wiki/Exponential_integral.