CID 248939: Result is not floating-point (UNINTENDED_INTEGER_DIVISION)

integer_division: Dividing integer expressions 255 and 100, and then
converting the integer quotient to type double. Any remainder, or
fractional part of the quotient, is ignored.

(cherry picked from commit 1a24947cf8681f58938a88fdae02256f708fa747)