Quarterly report [Sections 13 or 15(d)]

Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details)

v3.25.2
Service Revenue (Summary of Changes in Deferred Costs to Obtain and Fulfill Contracts) (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Capitalized Contract Cost [Line Items]    
Amortization $ 60.4 $ 58.5
Costs To Fulfill Contracts [Member]    
Capitalized Contract Cost [Line Items]    
Balance, beginning of period 87.0 76.6
Capitalization of costs 19.6 6.3
Amortization (7.6) (6.7)
Balance, end of period 99.0 76.2
Costs To Obtain Contracts [Member]    
Capitalized Contract Cost [Line Items]    
Balance, beginning of period 609.0 609.4
Capitalization of costs 48.9 45.3
Amortization (52.8) (51.8)
Balance, end of period $ 605.1 $ 602.9