real part of integral of exp(i*x^2) dx from 0 to infinity