CID 248481: Result is not floating-point (UNINTENDED_INTEGER_DIVISION)
integer_division: Dividing integer expressions id and 3, and then
converting the integer quotient to type double. Any remainder, or
fractional part of the quotient, is ignored.
(cherry picked from commit 137d8422a5ff9c8a24b26f1a2e39916fad78dbde)