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