Contingencies and Commitments (Details) $ in Millions	Jul. 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)	24 years
Operating leases not yet commenced
Lessee, Lease, Description [Line Items]
Undiscounted lease payments	$ 181.8

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.

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

- 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

- 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

- Details

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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