v3.26.3
Revenue (Disaggregation of Revenue, Narrative) (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Sep. 30, 2026
Sep. 30, 2025
Sep. 30, 2026
Sep. 30, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenues $ 672.1 $ 617.4 $ 1,980.1 $ 1,804.4
Licensed-based Revenue        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenues 459.0 435.0 1,359.0 1,281.4
Asset-based Revenue        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenues $ 103.0 $ 84.7 $ 294.9 $ 252.8
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-04-01        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenue performance period 6 months   6 months  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenue performance period 1 year   1 year  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-01-01        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenue performance period 2 years   2 years  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2029-01-01        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenue performance period 3 years   3 years  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2030-01-01        
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]        
Revenue performance period 4 years   4 years