Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($) $ in Millions |
3 Months Ended | 6 Months Ended |
|---|---|---|
Nov. 30, 2018 |
Nov. 30, 2018 |
|
| Costs To Obtain A Contract [Member] | ||
| Capitalized Contract Cost [Line Items] | ||
| Beginning balance | $ 448.5 | $ 455.0 |
| Capitalization of costs | 37.9 | 70.3 |
| Amortization | (39.1) | (78.0) |
| Ending balance | 447.3 | 447.3 |
| Costs To Fulfill A Contract [Member] | ||
| Capitalized Contract Cost [Line Items] | ||
| Beginning balance | 65.7 | 65.4 |
| Capitalization of costs | 5.9 | 11.9 |
| Amortization | (5.8) | (11.5) |
| Ending balance | $ 65.8 | $ 65.8 |
| 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://fasb.org/us-gaap/role/ref/legacyRef
|
| 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. No definition available.
|
| 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://fasb.org/us-gaap/role/ref/legacyRef
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|