Financing Receivables - Schedule of Financing Receivables Categorized by Internal Credit Risk Rating (Details) - USD ($) $ in Millions	Jan. 28, 2023	Jul. 30, 2022
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	$ 40	$ 7
Origination year - Fiscal Year 2019/2018	272	103
Origination year - Fiscal Year 2020/2019	790	455
Origination year - Fiscal Year 2021/2020	1,866	1,208
Origination year - Fiscal Year 2022/2021	2,295	2,549
Origination year - Fiscal Year 2023/2022	1,894	3,642
Gross	7,157	7,964
Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	25	4
Origination year - Fiscal Year 2019/2018	196	67
Origination year - Fiscal Year 2020/2019	606	310
Origination year - Fiscal Year 2021/2020	1,607	926
Origination year - Fiscal Year 2022/2021	2,072	2,206
Origination year - Fiscal Year 2023/2022	1,630	3,329
Gross	6,136	6,842
Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	15	3
Origination year - Fiscal Year 2019/2018	76	36
Origination year - Fiscal Year 2020/2019	184	145
Origination year - Fiscal Year 2021/2020	259	282
Origination year - Fiscal Year 2022/2021	223	343
Origination year - Fiscal Year 2023/2022	264	313
Gross	1,021	1,122
1 to 4 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	18	2
Origination year - Fiscal Year 2019/2018	108	49
Origination year - Fiscal Year 2020/2019	371	173
Origination year - Fiscal Year 2021/2020	1,086	536
Origination year - Fiscal Year 2022/2021	1,347	1,458
Origination year - Fiscal Year 2023/2022	978	2,287
Gross	3,908	4,505
1 to 4 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	10	2
Origination year - Fiscal Year 2019/2018	49	25
Origination year - Fiscal Year 2020/2019	101	74
Origination year - Fiscal Year 2021/2020	165	124
Origination year - Fiscal Year 2022/2021	105	176
Origination year - Fiscal Year 2023/2022	108	152
Gross	538	553
5 to 6 | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	5	1
Origination year - Fiscal Year 2019/2018	73	17
Origination year - Fiscal Year 2020/2019	199	115
Origination year - Fiscal Year 2021/2020	488	345
Origination year - Fiscal Year 2022/2021	671	709
Origination year - Fiscal Year 2023/2022	651	1,030
Gross	2,087	2,217
5 to 6 | Lease Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	4	1
Origination year - Fiscal Year 2019/2018	25	10
Origination year - Fiscal Year 2020/2019	74	67
Origination year - Fiscal Year 2021/2020	92	146
Origination year - Fiscal Year 2022/2021	115	165
Origination year - Fiscal Year 2023/2022	149	151
Gross	459	540
7 and Higher | Loan Receivables
Financing Receivable, Credit Quality Indicator [Line Items]
Origination year - Prior	2	1
Origination year - Fiscal Year 2019/2018	15	1
Origination year - Fiscal Year 2020/2019	36	22
Origination year - Fiscal Year 2021/2020	33	45
Origination year - Fiscal Year 2022/2021	54	39
Origination year - Fiscal Year 2023/2022	1	12
Gross	141	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	9	4
Origination year - Fiscal Year 2021/2020	2	12
Origination year - Fiscal Year 2022/2021	3	2
Origination year - Fiscal Year 2023/2022	7	10
Gross	$ 24	$ 29