Investments - Gross Realized Gains and Gross Realized Losses Related to Available-for-Sale Investment (Details) - USD ($) $ in Millions	3 Months Ended
Oct. 28, 2023	Oct. 29, 2022
Investments, Debt and Equity Securities [Abstract]
Gross realized gains	$ 0	$ 0
Gross realized losses	(20)	(6)
Total	$ (20)	$ (6)

Amount of realized gain on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

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

+ Details

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

- Definition

Amount of realized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-9

+ Details

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

- Definition

Amount of realized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleRealizedLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

+ Details

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