XML 58 R44.htm IDEA: XBRL DOCUMENT v3.23.2
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($)
$ in Millions
12 Months Ended
May 31, 2023
May 31, 2022
Revenue from Contract with Customer [Abstract]    
Balance, beginning of period $ 48.9 $ 40.2
Deferral of revenue 42.1 35.0
Recognition of unearned revenue (29.0) (26.3)
Balance, end of period $ 62.0 $ 48.9