XML 43 R33.htm IDEA: XBRL DOCUMENT v3.23.1
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Feb. 28, 2022
Feb. 28, 2023
Feb. 28, 2022
May 31, 2022
Revenue Recognition        
Estimated adjustments to claimed indirect costs   $ 0.4   $ 2.6
Practical Expedient, Incremental costs of obtaining a contract   true    
Practical Expedient, Remaining performance obligations   true    
Cumulative catch-up adjustments, net $ 2.5 $ 5.8 $ 7.4  
Favorable cumulative catch-up adjustments   7.6 10.7  
Unfavorable cumulative catch-up adjustments   $ 1.8 $ 3.3