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.