XML 52 R38.htm IDEA: XBRL DOCUMENT v3.25.1
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Feb. 28, 2025
Feb. 29, 2024
Feb. 28, 2025
Feb. 29, 2024
Revenue Recognition        
Practical Expedient, Incremental costs of obtaining a contract     true  
Practical Expedient, Remaining performance obligations     true  
Favorable cumulative catch-up adjustments $ 0.0 $ 2.5 $ 2.4 $ 9.5
Unfavorable cumulative catch-up adjustments       $ (6.8)