XML 42 R30.htm IDEA: XBRL DOCUMENT v3.23.3
Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2023
Aug. 31, 2022
Capitalized Contract Cost [Line Items]    
Amortization $ 57.2 $ 53.0
Costs To Fulfill Contracts [Member]    
Capitalized Contract Cost [Line Items]    
Balance, beginning of period 75.3 72.3
Capitalization of costs 6.5 7.5
Amortization (6.6) (6.4)
Balance, end of period 75.2 73.4
Costs To Obtain Contracts [Member]    
Capitalized Contract Cost [Line Items]    
Balance, beginning of period 597.5 550.2
Capitalization of costs 55.7 57.0
Amortization (50.6) (46.6)
Balance, end of period $ 602.6 $ 560.6