Annual report pursuant to Section 13 and 15(d)

Service Revenue (Summary of Changes in Deferred Revenue Related to Material Right Performance Obligations) (Details)

v3.19.2
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Right Performance Obligations) (Details)
$ in Millions
12 Months Ended
May 31, 2019
USD ($)
Service Revenue [Abstract]  
Balance, beginning of period $ 46.4
Deferral of revenue 27.6
Recognition of unearned revenue (28.3)
Balance, end of period $ 45.7