Leases - Operating Lease Cost and Additional Lease Information (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Feb. 28, 2023	Feb. 28, 2022	Feb. 28, 2023	Feb. 28, 2022	May 31, 2022
Leases [Abstract]
Operating lease costs	$ 19,800	$ 19,000	$ 59,300	$ 55,200
Other information related to operating leases
Cash paid for amounts included in the measurement of operating lease liabilities			37,103	36,923
Operating lease right-of-use assets obtained in exchange for new and renewed operating lease liabilities			$ 42,900	$ 17,452
Operating lease right-of-use assets acquired in business combinations	$ 0	$ 17,734
Weighted-average remaining lease term - operating leases	5 years 5 months 4 days		5 years 5 months 4 days		5 years 4 months 24 days
Weighted-average discount rate - operating leases	2.75%		2.75%		2.20%