XML 73 R62.htm IDEA: XBRL DOCUMENT
v3.23.1

Leases - Lessor Arrangements, Narrative (Details) | Apr. 30, 2023
--- | ---
Minimum |
Lessor, Lease, Description [Line Items] |
Remaining terms of operating leases | 1 month
Maximum |
Lessor, Lease, Description [Line Items] |
Remaining terms of operating leases | 20 years

X
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. + References No definition available. + Details
Name: | us-gaap_LessorLeaseDescriptionLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Term of lessor's operating lease, 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 -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 3 -Subparagraph (a)(3) -URI https://asc.fasb.org/extlink&oid=124258985&loc=SL77919359-209981 + Details
Name: | us-gaap_LessorOperatingLeaseTermOfContract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Details
Name: | srt_RangeAxis=srt_MinimumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | srt_RangeAxis=srt_MaximumMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |