v3.25.1
Current and long-term obligations - Senior Notes (Details) - 4.150% Senior Notes due Nov 1, 2025 - USD ($)
$ in Thousands
1 Months Ended
Apr. 30, 2025
May 02, 2025
Jan. 31, 2025
Current and long-term obligations      
Principal redeemed $ 500,000    
Loss on redemption $ 400    
Stated interest rate (as a percent) 4.15% 4.15% 4.15%
Discount on debt issuance   $ 0 $ 71