derivative of floor(x)