Intrinsics for Addition Operations