XML 48 R34.htm IDEA: XBRL DOCUMENT v3.23.3
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2023
Aug. 31, 2022
Revenue Recognition    
Practical Expedient, Incremental costs of obtaining a contract true  
Practical Expedient, Remaining performance obligations true  
Favorable cumulative catch-up adjustments, net $ 3.0 $ 2.9
Unfavorable cumulative catch-up adjustments $ (2.5)