Current and long-term obligations - Senior Notes (Details) - 4.150% Senior Notes due Nov 1, 2025 - USD ($) $ in Millions	1 Months Ended
	Apr. 30, 2025	Aug. 01, 2025	Jan. 31, 2025
Current and long-term obligations
Principal redeemed	$ 500.0
Stated interest rate (as a percent)	4.15%	4.15%	4.15%
Loss on redemption	$ 0.4