floating point division