Financing Receivables - Schedule of Financing Receivables Categorized by Internal Credit Risk Rating (Details) - USD ($) $ in Millions	Jan. 25, 2025	Jul. 27, 2024
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	$ 54	$ 9
Origination year - Fiscal Year One	284	127
Origination year - Fiscal Year Two	546	539
Origination year - Fiscal Year Three	1,218	852
Origination year - Fiscal Year Four	2,692	1,694
Origination year - Fiscal Year Five	1,515	3,491
Gross	6,309	6,712
Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	48	7
Origination year - Fiscal Year One	248	108
Origination year - Fiscal Year Two	475	478
Origination year - Fiscal Year Three	961	759
Origination year - Fiscal Year Four	2,335	1,385
Origination year - Fiscal Year Five	1,356	3,121
Gross	5,423	5,858
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	6	2
Origination year - Fiscal Year One	36	19
Origination year - Fiscal Year Two	71	61
Origination year - Fiscal Year Three	257	93
Origination year - Fiscal Year Four	357	309
Origination year - Fiscal Year Five	159	370
Gross	886	854
1 to 4 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	33	2
Origination year - Fiscal Year One	193	78
Origination year - Fiscal Year Two	335	341
Origination year - Fiscal Year Three	639	555
Origination year - Fiscal Year Four	1,466	945
Origination year - Fiscal Year Five	728	1,803
Gross	3,394	3,724
1 to 4 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	3	1
Origination year - Fiscal Year One	22	8
Origination year - Fiscal Year Two	39	38
Origination year - Fiscal Year Three	160	46
Origination year - Fiscal Year Four	226	176
Origination year - Fiscal Year Five	105	341
Gross	555	610
5 to 6 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	14	2
Origination year - Fiscal Year One	52	29
Origination year - Fiscal Year Two	89	127
Origination year - Fiscal Year Three	321	130
Origination year - Fiscal Year Four	862	426
Origination year - Fiscal Year Five	627	1,314
Gross	1,965	2,028
5 to 6 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	3	1
Origination year - Fiscal Year One	13	11
Origination year - Fiscal Year Two	31	22
Origination year - Fiscal Year Three	94	44
Origination year - Fiscal Year Four	126	129
Origination year - Fiscal Year Five	54	21
Gross	321	228
7 and Higher | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	1	3
Origination year - Fiscal Year One	3	1
Origination year - Fiscal Year Two	51	10
Origination year - Fiscal Year Three	1	74
Origination year - Fiscal Year Four	7	14
Origination year - Fiscal Year Five	1	4
Gross	64	106
7 and Higher | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	0	0
Origination year - Fiscal Year One	1	0
Origination year - Fiscal Year Two	1	1
Origination year - Fiscal Year Three	3	3
Origination year - Fiscal Year Four	5	4
Origination year - Fiscal Year Five	0	8
Gross	$ 10	$ 16