Commitments (Details) $ in Millions	May 31, 2025 USD ($)
Aggregate amount of purchase obligations due in each of the next five fiscal years
2025	$ 657.1
2026	156.9
2027	26.7
2028	2.4
2029	2.6
Letters of credit and performance bonds outstanding	$ 7.9

The total amount of the contingent obligation under letters of credit outstanding as of the reporting date.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 944
-SubTopic 605
-Name Accounting Standards Codification
-Section 55
-Paragraph 15
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477548/944-605-55-15

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 944
-SubTopic 605
-Name Accounting Standards Codification
-Section 55
-Paragraph 12
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477548/944-605-55-12

+ Details

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

- Definition

Amount of recorded unconditional purchase obligation to be paid in fifth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

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

+ Details

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

- Definition

Amount of recorded unconditional purchase obligation to be paid in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of recorded unconditional purchase obligation to be paid in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of recorded unconditional purchase obligation to be paid in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of recorded unconditional purchase obligation to be paid in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- References

No definition available.

+ Details

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