Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 28, 2023	Jan. 29, 2022	Jan. 28, 2023	Jan. 29, 2022	Jul. 30, 2022
Leases [Abstract]
Weighted-average remaining lease term (in years)	4 years 7 months 6 days		4 years 7 months 6 days		4 years 8 months 12 days
Weighted-average discount rate	2.70%		2.70%		2.20%
Sales-type lease terms, on average	4 years		4 years
Interest income, lease receivables	$ 12	$ 14	$ 24	$ 29
Operating lease income	$ 18	$ 29	$ 39	$ 61