Leases - Lessor (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Apr. 30, 2024	Apr. 30, 2023	Apr. 30, 2024	Apr. 30, 2023	Jul. 31, 2023
Leases [Abstract]
Property subject to or available for operating lease gross	$ 50.3		$ 50.3		$ 51.2
Property subject to or available for operating lease accumulated depreciation	4.4		4.4		$ 3.8
Operating lease income	$ 4.4	$ 4.0	$ 13.0	$ 12.3

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