Leases - Lessor (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Apr. 30, 2022	Apr. 30, 2021	Apr. 30, 2022	Apr. 30, 2021	Jul. 31, 2021
Leases [Abstract]
Property subject to or available for operating lease gross	$ 56.8		$ 56.8		$ 55.5
Property subject to or available for operating lease accumulated depreciation	2.8		2.8		$ 1.9
Operating lease income	$ 3.6	$ 3.5	$ 10.9	$ 10.7

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://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 360
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=6391035&loc=d3e2868-110229

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=123405975&loc=d3e41551-112718

Reference 3: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=123422147&loc=d3e41460-112716

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 13
-URI http://asc.fasb.org/extlink&oid=124258985&loc=SL77919398-209981

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