XML 74 R56.htm IDEA: XBRL DOCUMENT
v3.23.3

Leases - Narrative (Details) - USD ($) $ in Millions | 12 Months Ended
--- | ---
Jul. 31, 2023 | Jul. 31, 2022
Leases [Abstract] |  |
Renewal term | 40 years |
Cost of the leased space | $ 51.2 | $ 51.2
Accumulated depreciation of leased assets | 3.8 | 2.8
Rental income | $ 18.8 | $ 14.8
Operating Lease, Lease Income, Statement of Income or Comprehensive Income [Extensible Enumeration] | Service revenues and vehicle sales | Service revenues and vehicle sales

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 Term of lessee's operating lease renewal, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (a)(3) -Publisher FASB -URI https://asc.fasb.org//1943274/2147478964/842-20-50-3 + Details
Name: | us-gaap_LesseeOperatingLeaseRenewalTerm
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Indicates line item in statement of comprehensive income that includes operating lease income. + References Reference 1: 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_OperatingLeaseIncomeComprehensiveIncomeExtensibleList
Namespace Prefix: | us-gaap_
Data Type: | enum2:enumerationSetItemType
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