Merge branch '1866-replace-overflow-basop-operators-by-overflow-free-variants-in-lib_dec' into 'main' Resolve "Replace Overflow BASOP-Operators by overflow-free variants in lib_dec" Closes #1866 See merge request !1994