Leases - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended
	Oct. 28, 2023	Oct. 29, 2022	Jul. 29, 2023
Leases [Abstract]
Weighted-average remaining lease term (in years)	4 years 9 months 18 days		4 years 7 months 6 days
Weighted-average discount rate	3.50%		3.10%
Sales-type lease terms, on average	4 years
Interest income, lease receivables	$ 14	$ 12
Operating lease income	$ 16	$ 21