Current and long-term obligations - Senior Notes (Details) - USD ($) $ in Thousands	1 Months Ended	12 Months Ended
	Sep. 30, 2024	Jan. 31, 2025	Feb. 02, 2024	Jun. 07, 2023
Current and long-term obligations
Redemption price as a percentage of principal amount		101.00%
5.200% Senior Notes due July 5, 2028
Current and long-term obligations
Amount borrowed				$ 500,000
Stated interest rate (as a percent)		5.20%	5.20%	5.20%
Discount on debt issuance		$ 99	$ 124	$ 100
5.450% Senior Notes due July 5, 2033
Current and long-term obligations
Amount borrowed				$ 1,000,000
Stated interest rate (as a percent)		5.45%	5.45%	5.45%
Discount on debt issuance		$ 1,396	$ 1,521	$ 1,600
4.250% Senior Notes due September 20, 2024
Current and long-term obligations
Principal redeemed	$ 750,000
Gain loss on redemption	$ 0
Stated interest rate (as a percent)	4.25%		4.25%
Discount on debt issuance		$ 0	$ 230
Senior Notes Due July 2028 And 2033
Current and long-term obligations
Debt issuance costs				$ 12,400