floating point division is bad