Quarterly report pursuant to Section 13 or 15(d)

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

v3.20.4
Service Revenue (Summary of Deferred Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction) (Details)
$ in Millions
Nov. 30, 2020
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-06-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue related to material rights $ 11.5
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-06-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue related to material rights 16.3
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-06-01  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Deferred revenue related to material rights $ 11.8