XML 72 R54.htm IDEA: XBRL DOCUMENT v3.25.2
Service Revenue (Summary of Changes in Deferred Revenue Related to Material Rights Performance Obligations) (Details) - USD ($)
$ in Millions
12 Months Ended
May 31, 2025
May 31, 2024
Revenue from Contract with Customer [Abstract]    
Balance, beginning of period $ 74.9 $ 62.0
Deferred revenue acquired 19.0  
Deferral of revenue 39.0 46.7
Recognition of unearned revenue (40.5) (33.8)
Balance, end of period $ 92.4 $ 74.9