Fair Value - Additional Information (Details) - USD ($) $ in Millions	Jul. 29, 2023	Jul. 30, 2022
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Long term loan receivables and financed service contracts carrying value	$ 2,900	$ 3,400
Senior notes, carrying value	8,391	8,915
Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Senior notes, fair value	$ 8,700	$ 9,700

Amount, after deduction of unamortized premium (discount) and debt issuance cost, of long-term debt. Excludes lease obligation.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-SubTopic 10
-Topic 210
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 69B
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481568/470-20-55-69B

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 69C
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481568/470-20-55-69C

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1D
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481139/470-20-50-1D

Reference 5: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 944
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16)(a)(2))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479440/944-210-S99-1

Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (b)(3)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481139/470-20-50-4

Name:	us-gaap_LongTermDebt
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant