Replace Overflow BASOP-Operators by overflow-free variants in lib_dec
<!--- Below are labels that will be added but are not shown in description. This is a template to help fill them.
Add further information to the first row and remove and add labels as necessary.-->
issue