XML 40 R28.htm IDEA: XBRL DOCUMENT v3.23.3
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2023
Aug. 31, 2022
Revenue from Contract with Customer [Abstract]    
Balance, beginning of period $ 62.0 $ 48.9
Deferral of revenue 12.9 10.1
Recognition of unearned revenue (7.9) (6.8)
Balance, end of period $ 67.0 $ 52.2