XML 39 R28.htm IDEA: XBRL DOCUMENT v3.23.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, 2023
Nov. 30, 2022
Nov. 30, 2023
Nov. 30, 2022
Revenue from Contract with Customer [Abstract]        
Balance, beginning of period $ 67.0 $ 52.2 $ 62.0 $ 48.9
Deferral of revenue 11.0 10.0 23.9 20.1
Recognition of unearned revenue (8.2) (7.0) (16.1) (13.8)
Balance, end of period $ 69.8 $ 55.2 $ 69.8 $ 55.2