Fix wrong integer division where rounding up was intended#1254

Merged

fabiencastan merged 2 commits intoalicevision:developfrom p12tic:fix-int-division-ceil

Oct 6, 2022

+81-5

Commits on Oct 6, 2022

[numeric] Introduce divideRoundUp() for integer division with rounding
p12tic
committed
[fuseCut] Fix incorrect rounding of integer division result
p12tic
committed