Subsequent Events (Details) - Subsequent Event $ in Millions	Oct. 31, 2025 USD ($)
Subsequent Event [Line Items]
Future minimum commitments, remainder of year	$ 2.7
Future minimum commitments, year one	16.0
Future minimum commitments, year two	16.0
Future minimum commitments, year three	16.0
Future minimum commitments, year four	16.0
Future minimum commitments, year five	$ 13.3

Amount of purchase arrangement to be paid in fifth fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 235
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477314/942-235-S99-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480738/235-10-S50-4

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

+ Details

Name:	us-gaap_PurchaseObligationDueInFifthYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in fourth fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_PurchaseObligationDueInFourthYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in next fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_PurchaseObligationDueInNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in second fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_PurchaseObligationDueInSecondYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in third fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

Name:	us-gaap_PurchaseObligationDueInThirdYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of purchase arrangement to be paid in remainder of current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment.

+ References

No definition available.

+ Details

Name:	us-gaap_PurchaseObligationFutureMinimumPaymentsRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Detail information of subsequent event by type. User is expected to use existing line items from elsewhere in the taxonomy as the primary line items for this disclosure, which is further associated with dimension and member elements pertaining to a subsequent event.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 830
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481674/830-30-50-2

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 855
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483399/855-10-50-2

+ Details

Name:	us-gaap_SubsequentEventLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Details

Name:	us-gaap_SubsequentEventTypeAxis=us-gaap_SubsequentEventMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: