v3.25.4
Debt, Euro Senior Notes (Details)
€ in Millions, $ in Millions
12 Months Ended
Jun. 16, 2025
USD ($)
May 04, 2020
USD ($)
Oct. 08, 2018
USD ($)
Dec. 31, 2025
USD ($)
loan
Jun. 16, 2025
EUR (€)
May 04, 2020
EUR (€)
Oct. 08, 2018
EUR (€)
3.125% Senior Notes due June 2032              
Debt              
Debt instrument, principal amount $ 685.9       € 600.0    
Stated interest rate (as a percent) 3.125%     3.125% 3.125%    
Debt maturity date Jun. 16, 2032            
Debt financing costs | $       $ 4.5      
Euro Notes              
Debt              
Number of outstanding notes | loan       2      
0.750% Euro Senior Notes Due May 2026              
Debt              
Debt instrument, principal amount   $ 545.4       € 500.0  
Stated interest rate (as a percent)   0.75%       0.75%  
Debt maturity date       May 04, 2026      
Redemption price as a percentage of principal amount   100.00%          
2.000% Euro Senior Notes due October 2028              
Debt              
Debt instrument, principal amount     $ 574.6       € 500.0
Stated interest rate (as a percent)     2.00%       2.00%
Debt maturity date       Oct. 08, 2028      
Redemption price as a percentage of principal amount     100.00%