Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Aug. 31, 2026 |
Aug. 31, 2025 |
|
| Capitalized Contract Cost [Line Items] | ||
| Amortization | $ 66.0 | $ 60.4 |
| Costs To Fulfill Contracts [Member] | ||
| Capitalized Contract Cost [Line Items] | ||
| Balance, beginning of period | 135.9 | 87.0 |
| Capitalization of costs | 21.9 | 19.6 |
| Amortization | (10.1) | (7.6) |
| Balance, end of period | 147.7 | 99.0 |
| Costs To Obtain Contracts [Member] | ||
| Capitalized Contract Cost [Line Items] | ||
| Balance, beginning of period | 653.4 | 609.0 |
| Capitalization of costs | 64.2 | 48.9 |
| Amortization | (55.9) | (52.8) |
| Balance, end of period | $ 661.7 | $ 605.1 |
| 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
|