Income Taxes (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2019	Sep. 30, 2018	Sep. 30, 2019	Sep. 30, 2018
Income Tax Disclosure [Abstract]
Income before income taxes	$ 118.1	$ 152.0	$ 240.4	$ 344.3
Income tax provision (benefit)	$ 18.8	$ (71.8)	$ 63.8	$ (30.4)
Effective tax rate (benefit)	15.90%	(47.20%)	26.50%	(8.80%)
Federal statutory rate	21.00%	21.00%	21.00%	21.00%
Recognition of previously unrecognized tax benefits	$ 8.3	$ 67.6	$ 8.3	$ 67.6
Reduction of expected tax liabilities, change in accounting method for tax recognition of deferred product revenue		$ (33.2)		$ 33.2
Unrecognized tax benefits	174.9		174.9
Unrecognized tax benefits, if recognized, would affect the effective tax rate	171.9		171.9
Unrecognized tax benefits could decrease up to	$ 32.6		$ 32.6

Amount of decrease reasonably possible in the next twelve months for the unrecognized tax benefit.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15
-Subparagraph (d)(3)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32718-109319

+ Details

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

- Definition

Percentage of current income tax expense (benefit) and deferred income tax expense (benefit) pertaining to continuing operations.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08.(h)(2))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32687-109319

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 13
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32698-109319

+ Details

Name:	us-gaap_EffectiveIncomeTaxRateContinuingOperations
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

- Definition

Percentage of domestic federal statutory tax rate applicable to pretax income (loss).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB TOPIC 6.I)
-URI http://asc.fasb.org/extlink&oid=116825942&loc=d3e330036-122817

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32687-109319

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 13
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32698-109319

+ Details

Name:	us-gaap_EffectiveIncomeTaxRateReconciliationAtFederalStatutoryIncomeTaxRate
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of income (loss) from continuing operations, including income (loss) from equity method investments, before deduction of income tax expense (benefit), and income (loss) attributable to noncontrolling interest.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 940
-SubTopic 20
-Section 25
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=68072869&loc=d3e41242-110953

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(10))
-URI http://asc.fasb.org/extlink&oid=116634182&loc=SL114868664-224227

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(8))
-URI http://asc.fasb.org/extlink&oid=116637232&loc=SL114874131-224263

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 250
-SubTopic 10
-Section 50
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=109234566&loc=d3e22694-107794

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(15))
-URI http://asc.fasb.org/extlink&oid=116637391&loc=SL114874048-224260

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of current income tax expense (benefit) and deferred income tax expense (benefit) pertaining to continuing operations.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-Subparagraph (h)
-URI http://asc.fasb.org/extlink&oid=115929826&loc=d3e8736-108599

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08(h))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 20
-Section 45
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=109238882&loc=d3e38679-109324

+ Details

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

- Definition

Amount of income tax expense (benefit) from continuing operations attributable to an adjustment of a deferred tax liability or asset for enacted changes in tax laws or rates or a change in the tax status of the entity.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (g)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32639-109319

+ Details

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

- Definition

Amount of unrecognized tax benefits.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 45
-Paragraph 10B
-URI http://asc.fasb.org/extlink&oid=116821951&loc=SL37586934-109318

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from lapses of applicable statutes of limitations.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(4)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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

- Definition

The total amount of unrecognized tax benefits that, if recognized, would affect the effective tax rate.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=84230637&loc=SL6600010-109319

+ Details

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