Product Warranties - Narrative (Details)	6 Months Ended
	Jan. 31, 2025
Product Warranty One
Product Warranty Liability [Line Items]
Warranty period for retail customers (in years)	1 year
Product Warranty Two
Product Warranty Liability [Line Items]
Warranty period for retail customers (in years)	2 years