Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($) $ in Millions |
12 Months Ended | ||
|---|---|---|---|
May 31, 2025 |
May 31, 2024 |
May 31, 2023 |
|
| Capitalized Contract Cost [Line Items] | |||
| Amortization | $ 236.5 | $ 231.7 | $ 219.1 |
| Costs To Fulfill Contracts [Member] | |||
| Capitalized Contract Cost [Line Items] | |||
| Balance, beginning of period | 76.6 | 75.3 | |
| Capitalization of costs | 37.8 | 27.8 | |
| Amortization | (27.4) | (26.5) | |
| Balance, end of period | 87.0 | 76.6 | 75.3 |
| Costs To Obtain Contracts [Member] | |||
| Capitalized Contract Cost [Line Items] | |||
| Balance, beginning of period | 609.4 | 597.5 | |
| Capitalization of costs | 208.7 | 217.1 | |
| Amortization | (209.1) | (205.2) | |
| Balance, end of period | $ 609.0 | $ 609.4 | $ 597.5 |
| X | ||||||||||
- Definition Capitalized Contract Cost No definition available.
|
| X | ||||||||||
- Definition Amount of amortization expense for asset recognized from cost incurred to obtain or fulfill contract with customer. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- 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. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount, after accumulated amortization and accumulated impairment loss, of asset recognized from cost incurred to obtain or fulfill contract with customer. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|