int sgn x dx