[
  [
    "warning",
    "result of integer division used in a floating point context; possible loss of precision",
    "bugprone-integer-division"
  ],
  { "reliability": "high" }
]