XML 45 R36.htm IDEA: XBRL DOCUMENT v3.23.1
Revenue Recognition (Additional Information) (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Feb. 28, 2023
Feb. 28, 2023
Revenue from Contract with Customer [Abstract]    
Deferred revenue recognized $ 2.9 $ 8.0