Revert "CID 248481: Result is not floating-point (UNINTENDED_INTEGER_DIVISION)"
This reverts commit 295c2e64b0ca3f1373923012a7d191b755b27861.