1/(2pi) * integral (-pi to 0) pi+x dx