Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Aug. 31, 2023 |
Aug. 31, 2022 |
|
| Revenue from Contract with Customer [Abstract] | ||
| Balance, beginning of period | $ 62.0 | $ 48.9 |
| Deferral of revenue | 12.9 | 10.1 |
| Recognition of unearned revenue | (7.9) | (6.8) |
| Balance, end of period | $ 67.0 | $ 52.2 |
| X | ||||||||||
- Definition Contract With Customer Liability Additions No definition available.
|
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|