Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 29, 2023	Apr. 30, 2022	Apr. 29, 2023	Apr. 30, 2022	Jul. 30, 2022
Leases [Abstract]
Weighted-average remaining lease term (in years)	4 years 8 months 12 days		4 years 8 months 12 days		4 years 8 months 12 days
Weighted-average discount rate	2.90%		2.90%		2.20%
Sales-type lease terms, on average	4 years		4 years
Interest income, lease receivables	$ 13	$ 13	$ 36	$ 42
Operating lease income	$ 18	$ 26	$ 56	$ 87