Revenues - Disaggregation of Revenues by Source (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]
Total revenues	$ 1,536.8	$ 1,451.5	$ 3,050.7	$ 2,886.5
Software-enabled Services [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	1,267.7	1,192.4	2,537.6	2,380.1
Maintenance and Term Licenses [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	232.9	224.4	446.1	443.2
Professional Services [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	26.2	25.1	50.1	48.9
Perpetual Licenses [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	$ 10.0	$ 9.6	$ 16.9	$ 14.3

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-7

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-5

Reference 3: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 4: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 5: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 6: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 7: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (e)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 8: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

Reference 9: http://www.xbrl.org/2003/role/exampleRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 91
-Subparagraph (g)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479777/606-10-55-91

+ Details

- Definition

Amount, excluding tax collected from customer, of revenue from satisfaction of performance obligation by transferring promised good or service to customer. Tax collected from customer is tax assessed by governmental authority that is both imposed on and concurrent with specific revenue-producing transaction, including, but not limited to, sales, use, value added and excise.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 220
-SubTopic 40
-Name Accounting Standards Codification
-Section 55
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147476153/220-40-55-4

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 220
-SubTopic 40
-Name Accounting Standards Codification
-Section 55
-Paragraph 14
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147476153/220-40-55-14

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 41
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-41

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 42
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-42

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-7

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-1

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (ee)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 8: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 9: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 10: http://www.xbrl.org/2003/role/disclosureRef
-Topic 924
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 11.L)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479941/924-10-S99-1

Reference 11: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-5

Reference 12: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 30
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-30

Reference 13: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-22

Reference 14: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 40
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-40

Reference 15: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-22

Reference 16: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-4

+ Details