XML 54 R42.htm IDEA: XBRL DOCUMENT
v3.23.1

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

X
- References No definition available. + Details
Name: | us-gaap_LeasesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 5 -URI https://asc.fasb.org/extlink&oid=124258985&loc=SL77919372-209981 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 45 -Paragraph 3 -URI https://asc.fasb.org/extlink&oid=123420820&loc=SL77919311-209978 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 270 -SubTopic 10 -Section 50 -Paragraph 6A -URI https://asc.fasb.org/extlink&oid=126900988&loc=SL77927221-108306 + Details
Name: | us-gaap_OperatingLeaseLeaseIncome
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of accumulated depreciation of lessor's underlying asset for which right to use has been conveyed to lessee under operating lease. + References 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 https://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 https://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 https://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 https://asc.fasb.org/extlink&oid=124258985&loc=SL77919398-209981 + Details
Name: | us-gaap_PropertySubjectToOrAvailableForOperatingLeaseAccumulatedDepreciation
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Definition Amount, before accumulated depreciation, of lessor's underlying asset for which right to use has been conveyed to lessee under operating lease. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 13 -URI https://asc.fasb.org/extlink&oid=124258985&loc=SL77919398-209981 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 360 -SubTopic 10 -Section 50 -Paragraph 1 -Subparagraph (b) -URI https://asc.fasb.org/extlink&oid=6391035&loc=d3e2868-110229 Reference 3: 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 https://asc.fasb.org/extlink&oid=123405975&loc=d3e41551-112718 Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef -Publisher FASB -Name Accounting Standards Codification -Topic 840 -SubTopic 20 -Section 45 -Paragraph 2 -URI https://asc.fasb.org/extlink&oid=123422147&loc=d3e41457-112716 + Details
Name: | us-gaap_PropertySubjectToOrAvailableForOperatingLeaseGross
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant