XML 56 R45.htm IDEA: XBRL DOCUMENT
v3.25.1

Leases - Lessor (Details) - USD ($) $ in Millions | 3 Months Ended | 9 Months Ended |
--- | --- | --- | ---
Apr. 30, 2025 | Apr. 30, 2024 | Apr. 30, 2025 | Apr. 30, 2024 | Jul. 31, 2024
Leases [Abstract] |  |  |  |  |
Property subject to or available for operating lease gross | $ 58.8 |  | $ 58.8 |  | $ 50.3
Property subject to or available for operating lease accumulated depreciation | 6.5 |  | 6.5 |  | $ 4.6
Operating lease income | $ 6.3 | $ 4.4 | $ 15.7 | $ 13.0 |

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 -Topic 842 -SubTopic 30 -Name Accounting Standards Codification -Section 50 -Paragraph 5 -Publisher FASB -URI https://asc.fasb.org/1943274/2147479773/842-30-50-5 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 270 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 6A -Publisher FASB -URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 842 -SubTopic 30 -Name Accounting Standards Codification -Section 45 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147479016/842-30-45-3 + 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://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 + 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://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://www.xbrl.org/2003/role/disclosureRef -Topic 360 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 1 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482099/360-10-50-1 Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef -Name Accounting Standards Codification -Section 45 -Paragraph 2 -SubTopic 20 -Topic 840 -Publisher FASB -URI https://asc.fasb.org/1943274/2147481532/840-20-45-2 + Details
Name: | us-gaap_PropertySubjectToOrAvailableForOperatingLeaseGross
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant