Financing Receivables - Schedule of Financing Receivables Categorized by Internal Credit Risk Rating (Details) - USD ($) $ in Millions	Oct. 29, 2022	Jul. 30, 2022
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	$ 69	$ 7
Origination year - Fiscal Year 2019/2018	368	103
Origination year - Fiscal Year 2020/2019	978	455
Origination year - Fiscal Year 2021/2020	2,155	1,208
Origination year - Fiscal Year 2022/2021	2,616	2,549
Origination year - Fiscal Year 2023/2022	1,165	3,642
Gross	7,351	7,964
Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	45	4
Origination year - Fiscal Year 2019/2018	261	67
Origination year - Fiscal Year 2020/2019	754	310
Origination year - Fiscal Year 2021/2020	1,858	926
Origination year - Fiscal Year 2022/2021	2,376	2,206
Origination year - Fiscal Year 2023/2022	983	3,329
Gross	6,277	6,842
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	24	3
Origination year - Fiscal Year 2019/2018	107	36
Origination year - Fiscal Year 2020/2019	224	145
Origination year - Fiscal Year 2021/2020	297	282
Origination year - Fiscal Year 2022/2021	240	343
Origination year - Fiscal Year 2023/2022	182	313
Gross	1,074	1,122
1 to 4 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	33	2
Origination year - Fiscal Year 2019/2018	146	49
Origination year - Fiscal Year 2020/2019	451	173
Origination year - Fiscal Year 2021/2020	1,265	536
Origination year - Fiscal Year 2022/2021	1,542	1,458
Origination year - Fiscal Year 2023/2022	656	2,287
Gross	4,093	4,505
1 to 4 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	16	2
Origination year - Fiscal Year 2019/2018	72	25
Origination year - Fiscal Year 2020/2019	124	74
Origination year - Fiscal Year 2021/2020	189	124
Origination year - Fiscal Year 2022/2021	112	176
Origination year - Fiscal Year 2023/2022	30	152
Gross	543	553
5 to 6 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	10	1
Origination year - Fiscal Year 2019/2018	96	17
Origination year - Fiscal Year 2020/2019	263	115
Origination year - Fiscal Year 2021/2020	555	345
Origination year - Fiscal Year 2022/2021	768	709
Origination year - Fiscal Year 2023/2022	325	1,030
Gross	2,017	2,217
5 to 6 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	7	1
Origination year - Fiscal Year 2019/2018	32	10
Origination year - Fiscal Year 2020/2019	90	67
Origination year - Fiscal Year 2021/2020	106	146
Origination year - Fiscal Year 2022/2021	124	165
Origination year - Fiscal Year 2023/2022	146	151
Gross	505	540
7 and Higher | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	2	1
Origination year - Fiscal Year 2019/2018	19	1
Origination year - Fiscal Year 2020/2019	40	22
Origination year - Fiscal Year 2021/2020	38	45
Origination year - Fiscal Year 2022/2021	66	39
Origination year - Fiscal Year 2023/2022	2	12
Gross	167	120
7 and Higher | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	1	0
Origination year - Fiscal Year 2019/2018	3	1
Origination year - Fiscal Year 2020/2019	10	4
Origination year - Fiscal Year 2021/2020	2	12
Origination year - Fiscal Year 2022/2021	4	2
Origination year - Fiscal Year 2023/2022	6	10
Gross	$ 26	$ 29