XML 42 R35.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
3 Months Ended
Aug. 31, 2025
Aug. 31, 2024
Revenue from Contract with Customer [Abstract]    
Balance, beginning of period $ 92.4 $ 74.9
Deferral of revenue 12.1 7.6
Recognition of unearned revenue (14.5) (9.1)
Balance, end of period $ 90.0 $ 73.4