Product Warranty - Additional Information (Detail)	12 Months Ended
	Jul. 31, 2019
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