Correct integer division to floating point division