Leases - Operating Lease Cost and Additional Lease Information (Details) - USD ($) $ in Thousands	3 Months Ended
	Aug. 31, 2023	Aug. 31, 2022	May 31, 2023
Leases [Abstract]
Operating lease costs	$ 19,700	$ 19,500
Other information related to operating leases
Cash paid for amounts included in the measurement of operating lease liabilities	12,696	12,608
Operating lease right-of-use assets obtained in exchange for new and renewed operating lease liabilities	$ 14,286	$ 15,836
Weighted-average remaining lease term	5 years 3 months 3 days		5 years 3 months 10 days
Weighted-average discount rate	3.03%		2.87%