v3.25.2
Revenue (Disaggregation of Revenue) (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jun. 30, 2025
Jun. 30, 2024
Jun. 30, 2025
Jun. 30, 2024
Disaggregation of Revenue [Line Items]        
Consolidated revenue $ 605.1 $ 571.9 $ 1,187.0 $ 1,114.7
License-based        
Disaggregation of Revenue [Line Items]        
Consolidated revenue 428.4 401.7 846.4 801.9
Asset-based        
Disaggregation of Revenue [Line Items]        
Consolidated revenue 82.4 84.7 168.1 161.7
Transaction-based        
Disaggregation of Revenue [Line Items]        
Consolidated revenue $ 94.3 $ 85.5 $ 172.5 $ 151.1