XML 35 R28.htm IDEA: XBRL DOCUMENT v3.24.4
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Nov. 30, 2024
Nov. 30, 2023
Nov. 30, 2024
Nov. 30, 2023
Revenue from Contract with Customer [Abstract]        
Balance, beginning of period $ 73.4 $ 67.0 $ 74.9 $ 62.0
Deferral of revenue 10.0 11.0 17.6 23.9
Recognition of unearned revenue (9.4) (8.2) (18.5) (16.1)
Balance, end of period $ 74.0 $ 69.8 $ 74.0 $ 69.8