XML 60 R44.htm IDEA: XBRL DOCUMENT
v3.25.0.1

Contingencies and Commitments (Details) $ in Millions | Jan. 31, 2025 USD ($)
--- | ---
Minimum |
Lessee, Lease, Description [Line Items] |
Lease term (in years) | 20 years
Maximum |
Lessee, Lease, Description [Line Items] |
Lease term (in years) | 25 years
Operating leases not yet commenced |
Lessee, Lease, Description [Line Items] |
Undiscounted lease payments | $ 167.8

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 Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 7A -Subparagraph (c) -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-7A Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-3 + Details
Name: | us-gaap_LesseeLeaseDescriptionLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Term of lessee's operating lease not yet commenced, 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 (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-3 + Details
Name: | us-gaap_LesseeOperatingLeaseLeaseNotYetCommencedTermOfContract1
Namespace Prefix: | us-gaap_
Data Type: | xbrli:durationItemType
Balance Type: | na
Period Type: | instant

X
- Definition Amount of unrecorded obligation to transfer funds in future for fixed or minimum amount or quantity of product and service at fixed or minimum price. Includes, but is not limited to, lease not yet commenced and take-or-pay and throughput contracts. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 440 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 4 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147482648/440-10-50-4 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-3 + Details
Name: | us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceSheetAmount
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
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: |

X
- Details
Name: | us-gaap_UnrecordedUnconditionalPurchaseObligationByCategoryOfItemPurchasedAxis=us-gaap_OperatingLeaseLeaseNotYetCommencedMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |