Service Revenue (Summary of Deferred Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction) (Details) $ in Millions	Aug. 31, 2026 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue related to material rights	$ 90.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-09-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue, timing of satisfaction	9 months
Deferred revenue related to material rights	$ 35.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-06-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue, timing of satisfaction	1 year
Deferred revenue related to material rights	$ 32.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-06-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue, timing of satisfaction
Deferred revenue related to material rights	$ 22.7

Amount of transaction price allocated to performance obligation that has not been recognized as revenue.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Subparagraph (a)
-SubTopic 10
-Topic 606
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-13

+ Details

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

- 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 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Subparagraph (b)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-13

+ Details

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

- Definition

Period in which remaining performance obligation is expected to be recognized as revenue, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionPeriod1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2026-09-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2027-06-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2028-06-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: