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