Well we have to differentiate: forget the shift for floating point!