integral of round(x)