Fair Value Measurements (Assets Measured on Recurring Basis Unobservable Input Reconciliation (Details) - USD ($) $ in Millions	9 Months Ended
Apr. 28, 2024	Apr. 30, 2023
Fair Value Disclosures [Abstract]
Fair Value, Net Derivative Asset (Liability) Measured on Recurring Basis with Unobservable Inputs, Beginning Balance	$ 2	$ 4
Fair Value, Level 3 investment gain (Loss) Included in Earnings	13	4
Fair Value, Level 3 Investment, Settlements	(7)	(4)
Fair Value, Net Derivative Asset (Liability) Measured on Recurring Basis with Unobservable Inputs, Ending Balance	$ 8	$ 4

No definition available.

Name:	us-gaap_FairValueDisclosuresAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of gain (loss) recognized in income from asset measured at fair value on recurring basis using unobservable input (level 3).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetGainLossIncludedInEarnings1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of settlement of financial instrument classified as an asset measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetSettlements
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Fair value of financial instrument classified as derivative asset (liability) after deduction of derivative liability (asset), measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-SubTopic 10
-Topic 820
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-3

+ Details

Name:	us-gaap_FairValueNetDerivativeAssetLiabilityMeasuredOnRecurringBasisWithUnobservableInputs
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant