Investments (Rollforward of Cumulative Amounts Related to Credit Loss Portion of OTTI Losses) (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2017	Sep. 30, 2016	Sep. 30, 2017	Sep. 30, 2016
Other than Temporary Impairment, Credit Losses Recognized in Earnings [Roll Forward]
Credit losses at beginning of period	$ 9.6	$ 11.7	$ 10.0	$ 18.0
Credit losses on securities for which an OTTI was not previously recognized	0.2		0.4	5.2
Additional credit losses on securities for which an OTTI was previously recognized		0.1	0.1	2.2
Reductions for securities sold, matured or called	(1.9)	(2.3)	(2.6)	(3.9)
Reductions for securities reclassified as intend to sell	(0.4)		(0.4)	(12.0)
Credit losses at end of period	$ 7.5	$ 9.5	$ 7.5	$ 9.5

This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which a previous OTTI was recognized and the investor does not intend to sell the debt security and it is not more likely than not that the investor will be required to sell the debt security before recovery of its amortized cost basis.

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

- Definition

This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which no such other than temporary impairment (OTTI) was previously recognized.

+ References

+ Details

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

- Definition

The cumulative amount of credit losses recognized in earnings related to debt securities held for which a portion of an other than temporary impairment (OTTI) was recognized in other comprehensive income (a component of shareholders' equity).

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=SL6284393-111563

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (g)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=SL6284393-111563

+ Details

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

- Definition

This item represents reductions in the amount of cumulative losses recognized in earnings for other than temporary impairments (OTTI) for which a portion of the impairment had been recognized in other comprehensive income (a component of shareholders' equity) due to a change in status of the impaired security because of a change in the entity's intent to either sell the impaired security or it has become more likely than not that the entity will be required to sell the security before recovery of its cost basis.

+ References

+ Details

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

- Definition

This item represents reductions in the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security because of the sale of impaired securities during the period.

+ References

+ Details

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

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

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