Financing Receivables - Schedule of Financing Receivables Categorized by Internal Credit Risk Rating (Details) - USD ($) $ in Millions	Apr. 29, 2023	Jul. 30, 2022
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	$ 39	$ 7
Origination year - Fiscal Year 2019/2018	169	103
Origination year - Fiscal Year 2020/2019	593	455
Origination year - Fiscal Year 2021/2020	1,510	1,208
Origination year - Fiscal Year 2022/2021	1,942	2,549
Origination year - Fiscal Year 2023/2022	2,546	3,642
Gross	6,799	7,964
Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	32	4
Origination year - Fiscal Year 2019/2018	117	67
Origination year - Fiscal Year 2020/2019	460	310
Origination year - Fiscal Year 2021/2020	1,300	926
Origination year - Fiscal Year 2022/2021	1,750	2,206
Origination year - Fiscal Year 2023/2022	2,220	3,329
Gross	5,879	6,842
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	7	3
Origination year - Fiscal Year 2019/2018	52	36
Origination year - Fiscal Year 2020/2019	133	145
Origination year - Fiscal Year 2021/2020	210	282
Origination year - Fiscal Year 2022/2021	192	343
Origination year - Fiscal Year 2023/2022	326	313
Gross	920	1,122
1 to 4 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	26	2
Origination year - Fiscal Year 2019/2018	82	49
Origination year - Fiscal Year 2020/2019	295	173
Origination year - Fiscal Year 2021/2020	929	536
Origination year - Fiscal Year 2022/2021	1,197	1,458
Origination year - Fiscal Year 2023/2022	1,442	2,287
Gross	3,971	4,505
1 to 4 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	4	2
Origination year - Fiscal Year 2019/2018	32	25
Origination year - Fiscal Year 2020/2019	73	74
Origination year - Fiscal Year 2021/2020	135	124
Origination year - Fiscal Year 2022/2021	90	176
Origination year - Fiscal Year 2023/2022	160	152
Gross	494	553
5 to 6 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	5	1
Origination year - Fiscal Year 2019/2018	24	17
Origination year - Fiscal Year 2020/2019	146	115
Origination year - Fiscal Year 2021/2020	354	345
Origination year - Fiscal Year 2022/2021	521	709
Origination year - Fiscal Year 2023/2022	763	1,030
Gross	1,813	2,217
5 to 6 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	2	1
Origination year - Fiscal Year 2019/2018	18	10
Origination year - Fiscal Year 2020/2019	56	67
Origination year - Fiscal Year 2021/2020	71	146
Origination year - Fiscal Year 2022/2021	98	165
Origination year - Fiscal Year 2023/2022	160	151
Gross	405	540
7 and Higher | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	1	1
Origination year - Fiscal Year 2019/2018	11	1
Origination year - Fiscal Year 2020/2019	19	22
Origination year - Fiscal Year 2021/2020	17	45
Origination year - Fiscal Year 2022/2021	32	39
Origination year - Fiscal Year 2023/2022	15	12
Gross	95	120
7 and Higher | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	1	0
Origination year - Fiscal Year 2019/2018	2	1
Origination year - Fiscal Year 2020/2019	4	4
Origination year - Fiscal Year 2021/2020	4	12
Origination year - Fiscal Year 2022/2021	4	2
Origination year - Fiscal Year 2023/2022	6	10
Gross	$ 21	$ 29