XML 36 R28.htm IDEA: XBRL DOCUMENT v3.24.3
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2024
Aug. 31, 2023
Revenue from Contract with Customer [Abstract]    
Balance, beginning of period $ 74.9 $ 62.0
Deferral of revenue 7.6 12.9
Recognition of unearned revenue (9.1) (7.9)
Balance, end of period $ 73.4 $ 67.0