Product Warranties - Additional Information (Details)	3 Months Ended
	Oct. 31, 2023
Product warranty one
Product Warranty Liability [Line Items]
Warranty period for retail customers, years	1 year
Product warranty two
Product Warranty Liability [Line Items]
Warranty period for retail customers, years	2 years