XML 45 R35.htm IDEA: XBRL DOCUMENT v3.23.4
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Nov. 30, 2023
Nov. 30, 2022
Nov. 30, 2023
Nov. 30, 2022
Revenue Recognition        
Practical Expedient, Incremental costs of obtaining a contract     true  
Practical Expedient, Remaining performance obligations     true  
Favorable cumulative catch-up adjustments, net $ (0.3) $ 2.9 $ 0.2 $ 5.8
Favorable cumulative catch-up adjustments 4.0 4.7 7.0 7.6
Unfavorable cumulative catch-up adjustments $ (4.3) $ (1.8) $ (6.8) $ (1.8)