Leases - Operating Lease Cost and Additional Lease Information (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Nov. 30, 2022	Nov. 30, 2021	Nov. 30, 2022	Nov. 30, 2021	May 31, 2022
Leases [Abstract]
Operating lease costs	$ 20,000	$ 18,000	$ 39,500	$ 36,200
Other information related to operating leases
Cash paid for amounts included in the measurement of operating lease liabilities			25,108	24,301
Operating lease right-of-use assets obtained in exchange for new and renewed operating lease liabilities			$ 29,186	$ 10,609
Weighted-average remaining lease term - operating leases	5 years 4 months 13 days		5 years 4 months 13 days		5 years 4 months 24 days
Weighted-average discount rate - operating leases	2.50%		2.50%		2.20%