Leases - Operating Lease Cost and Additional Lease Information (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Nov. 30, 2023	Nov. 30, 2022	Nov. 30, 2023	Nov. 30, 2022	May 31, 2023
Leases [Abstract]
Operating lease costs	$ 20,800	$ 20,000	$ 40,500	$ 39,500
Other information related to operating leases
Cash paid for amounts included in the measurement of operating lease liabilities			25,321	25,108
Operating lease right-of-use assets obtained in exchange for new and renewed operating lease liabilities			22,684	29,186
Operating lease right-of-use assets acquired in business combinations			$ 267	$ 0
Weighted-average remaining lease term	5 years 2 months 12 days		5 years 2 months 12 days		5 years 3 months 10 days
Weighted-average discount rate	3.14%		3.14%		2.87%