Integral from 0 to pi/2 of exp(ix)