Intrinsics for Subtraction Operations