v3.26.1
Debt (Details) - USD ($)
$ in Millions
Aug. 01, 2026
Jan. 31, 2026
Aug. 02, 2025
Jun. 17, 2025
Apr. 01, 2025
Convertible Senior Notes Due 2030 | Convertible Debt          
Debt Instrument [Line Items]          
Fair value of the convertible note $ 1,509.8        
Convertible Senior Notes Due 2032 | Convertible Debt          
Debt Instrument [Line Items]          
Fair value of the convertible note 2,701.2        
Debt Conversion Terms One | French Term Loans | Unsecured Debt          
Debt Instrument [Line Items]          
Term loans 4,167.8 $ 4,164.3 $ 4,160.9    
Debt Conversion Terms One | Convertible Senior Notes Due 2030 | Convertible Debt          
Debt Instrument [Line Items]          
Debt issued         $ 1,500.0
Additional aggregate principal amount         $ 200.0
Debt issuance costs 14.4        
Convertible notes, net of debt issuance costs 1,485.6        
Debt Conversion Terms One | Convertible Senior Notes Due 2032 | Convertible Debt          
Debt Instrument [Line Items]          
Debt issued       $ 2,250.0  
Additional aggregate principal amount       $ 450.0  
Debt issuance costs 17.8        
Convertible notes, net of debt issuance costs $ 2,682.2        
Interest rate       0.00%