Product Warranties - Narrative (Details)	9 Months Ended
Apr. 30, 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

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

No definition available.

Name:	us-gaap_ProductWarrantyLiabilityLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration