Financing Receivables - Schedule of Financing Receivables Categorized by Internal Credit Risk Rating (Details) - USD ($) $ in Millions	Oct. 25, 2025	Jul. 26, 2025
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	$ 106	$ 4
Origination year - Fiscal Year One	270	154
Origination year - Fiscal Year Two	626	344
Origination year - Fiscal Year Three	1,790	739
Origination year - Fiscal Year Four	2,843	2,138
Origination year - Fiscal Year Five	1,153	3,132
Gross	6,788	6,511
Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	96	4
Origination year - Fiscal Year One	228	139
Origination year - Fiscal Year Two	444	295
Origination year - Fiscal Year Three	1,473	547
Origination year - Fiscal Year Four	2,520	1,823
Origination year - Fiscal Year Five	1,065	2,820
Gross	5,826	5,628
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	10	0
Origination year - Fiscal Year One	42	15
Origination year - Fiscal Year Two	182	49
Origination year - Fiscal Year Three	317	192
Origination year - Fiscal Year Four	323	315
Origination year - Fiscal Year Five	88	312
Gross	962	883
1 to 4 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	58	2
Origination year - Fiscal Year One	186	83
Origination year - Fiscal Year Two	306	236
Origination year - Fiscal Year Three	1,003	371
Origination year - Fiscal Year Four	1,361	1,258
Origination year - Fiscal Year Five	662	1,556
Gross	3,576	3,506
1 to 4 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	6	0
Origination year - Fiscal Year One	21	9
Origination year - Fiscal Year Two	110	23
Origination year - Fiscal Year Three	194	112
Origination year - Fiscal Year Four	218	187
Origination year - Fiscal Year Five	35	207
Gross	584	538
5 to 6 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	38	2
Origination year - Fiscal Year One	36	56
Origination year - Fiscal Year Two	131	53
Origination year - Fiscal Year Three	466	167
Origination year - Fiscal Year Four	1,137	561
Origination year - Fiscal Year Five	400	1,248
Gross	2,208	2,087
5 to 6 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	4	0
Origination year - Fiscal Year One	20	6
Origination year - Fiscal Year Two	70	25
Origination year - Fiscal Year Three	117	77
Origination year - Fiscal Year Four	103	120
Origination year - Fiscal Year Five	50	103
Gross	364	331
7 and Higher | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	0	0
Origination year - Fiscal Year One	6	0
Origination year - Fiscal Year Two	7	6
Origination year - Fiscal Year Three	4	9
Origination year - Fiscal Year Four	22	4
Origination year - Fiscal Year Five	3	16
Gross	42	35
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	2	1
Origination year - Fiscal Year Three	6	3
Origination year - Fiscal Year Four	2	8
Origination year - Fiscal Year Five	3	2
Gross	$ 14	$ 14