Revenues - Disaggregation of Revenues by Source (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	$ 5,502.8	$ 5,283.0	$ 5,051.0
Software-enabled Services [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	4,488.3	4,273.9	4,256.1
Maintenance and Term Licenses [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	873.7	874.7	671.2
Professional Services [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	110.2	110.1	101.4
Perpetual Licenses [Member]
Disaggregation Of Revenue [Line Items]
Revenue from Contract with Customer, Excluding Assessed Tax	$ 30.6	$ 24.3	$ 22.3