Software, net - Summary of Software and Amortization (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2017	Dec. 31, 2016	Dec. 31, 2015
Research and Development [Abstract]
Software	$ 1,003.2	$ 924.8
Accumulated amortization	(663.8)	(515.7)
Software, net	339.4	409.1
Capitalized computer software, amortization	$ 153.3	$ 158.9	$ 174.4

For each balance sheet presented, the amount of accumulated amortization for capitalized computer software costs.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=66006027&loc=d3e16323-109275

+ Details

Name:	us-gaap_CapitalizedComputerSoftwareAccumulatedAmortization
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of expense for amortization of capitalized computer software costs.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128487-111756

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)(1)
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

+ Details

Name:	us-gaap_CapitalizedComputerSoftwareAmortization1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount before accumulated amortization of capitalized costs for computer software, including but not limited to, acquired and internally developed computer software.

+ References

+ Details

Name:	us-gaap_CapitalizedComputerSoftwareGross
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

The carrying amount of capitalized computer software costs net of accumulated amortization as of the balance sheet date.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128462-111756

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 985
-SubTopic 20
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=6501960&loc=d3e128487-111756

+ Details

Name:	us-gaap_CapitalizedComputerSoftwareNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_ResearchAndDevelopmentAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration