Round floating-point division correctly!