Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($) $ in Millions |
3 Months Ended | 9 Months Ended | ||
|---|---|---|---|---|
Feb. 28, 2026 |
Feb. 28, 2025 |
Feb. 28, 2026 |
Feb. 28, 2025 |
|
| Capitalized Contract Cost [Line Items] | ||||
| Amortization | $ 184.6 | $ 176.6 | ||
| Costs To Fulfill Contracts [Member] | ||||
| Capitalized Contract Cost [Line Items] | ||||
| Balance, beginning of period | $ 110.8 | $ 75.8 | 87.0 | 76.6 |
| Capitalization of costs | 21.7 | 6.9 | 61.3 | 19.5 |
| Amortization | (8.8) | (6.7) | (24.6) | (20.1) |
| Balance, end of period | 123.7 | 76.0 | 123.7 | 76.0 |
| Costs To Obtain Contracts [Member] | ||||
| Capitalized Contract Cost [Line Items] | ||||
| Balance, beginning of period | 612.0 | 600.7 | 609.0 | 609.4 |
| Capitalization of costs | 74.4 | 59.0 | 183.4 | 154.2 |
| Amortization | (54.0) | (52.6) | (160.0) | (156.5) |
| Balance, end of period | $ 632.4 | $ 607.1 | $ 632.4 | $ 607.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
|