implemented unsigned saturated subtraction