Quarterly report pursuant to Section 13 or 15(d)

Service Revenue (Summary of Deferred Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction) (Details)

v3.23.4
Service Revenue (Summary of Deferred Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction) (Details)
$ in Millions
Nov. 30, 2023
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue related to material rights $ 69.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-12-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue, timing of satisfaction 6 months
Deferred revenue related to material rights $ 15.9
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-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 $ 26.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-06-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue, timing of satisfaction
Deferred revenue related to material rights $ 27.5