XML 48 R36.htm IDEA: XBRL DOCUMENT v3.24.1
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Feb. 29, 2024
Feb. 29, 2024
Feb. 28, 2023
Revenue Recognition      
Practical Expedient, Incremental costs of obtaining a contract   true  
Practical Expedient, Remaining performance obligations   true  
Favorable cumulative catch-up adjustments, net   $ 2.7 $ 5.8
Favorable cumulative catch-up adjustments $ 2.5 9.5 7.6
Unfavorable cumulative catch-up adjustments   $ (6.8) $ (1.8)