Leases - Lessor (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jan. 31, 2025	Jan. 31, 2024	Jan. 31, 2025	Jan. 31, 2024	Jul. 31, 2024
Leases [Abstract]
Property subject to or available for operating lease gross	$ 50.3		$ 50.3		$ 50.3
Property subject to or available for operating lease accumulated depreciation	5.1		5.1		$ 4.6
Operating lease income	$ 4.7	$ 4.2	$ 9.4	$ 8.6

Amount of accumulated depreciation of lessor's underlying asset for which right to use has been conveyed to lessee under operating lease.

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 840
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481501/840-20-50-4

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-13

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-SubTopic 20
-Topic 840
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481532/840-20-45-3

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 360
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482099/360-10-50-1

Name:	us-gaap_PropertySubjectToOrAvailableForOperatingLeaseAccumulatedDepreciation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant