integrate floor(x)