derivative floor x