Issue #857 - better fix with divRoundClosest
Issue #857 - Better rounding also in Companion. Warning removed in
simulator