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

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

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)(3)
-URI https://asc.fasb.org/extlink&oid=123466204&loc=SL6031897-161870

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 55
-Paragraph 69C
-URI https://asc.fasb.org/extlink&oid=123466577&loc=SL123495737-112612

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03(a)(16))
-URI https://asc.fasb.org/extlink&oid=126734703&loc=d3e572229-122910

Reference 4: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 55
-Paragraph 69B
-URI https://asc.fasb.org/extlink&oid=123466577&loc=SL123495735-112612

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(16))
-URI https://asc.fasb.org/extlink&oid=126897435&loc=d3e534808-122878

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 1D
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495340-112611

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-URI https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

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