Revenue (Disaggregation of Revenue) (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 324.0	$ 258.9
License-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	216.0	195.5
Asset-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	57.2	48.8
Transaction-based
Disaggregation of Revenue [Line Items]
Consolidated revenue	$ 50.8	$ 14.6

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.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 4
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130543-203045

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=118956577&loc=SL49130545-203045

Name:	us-gaap_RevenueFromContractWithCustomerExcludingAssessedTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration