implemented shift, overflow, saturation in convergent/cmul