Correcting floating point division