Avoid integer→float division artifacts and enforce SpotBugs ICAST_IDIV_CAST_TO_DOUBLE#4406

Merged

shai-almog merged 3 commits intomasterfrom

codex/fix-spotbugs-integral-division-warnings

Jan 13, 2026

Commits on Jan 12, 2026

Fix floating point divisions flagged by SpotBugs
shai-almog
committed

Commits on Jan 13, 2026

Avoid integer→float division artifacts and enforce SpotBugs ICAST_IDIV_CAST_TO_DOUBLE
shai-almog
committed
Fix integer→float division artifacts and enforce SpotBugs ICAST_IDIV_CAST_TO_DOUBLE
shai-almog
committed