Accumulated Other Comprehensive Income (Changes in Accumulated Other Comprehensive Income) (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Feb. 28, 2017	Feb. 29, 2016	Feb. 28, 2017	Feb. 29, 2016
Accumulated Other Comprehensive Income [Abstract]
Beginning balance	$ (16.8)	$ 20.3	$ 29.2	$ 7.5
Unrealized gains/(losses) on available-for-sale securities, net of tax	21.4	17.2	(24.6)	30.0
Total other comprehensive income/(loss), net of tax	21.4	17.2	(24.6)	30.0
Ending balance	4.6	37.5	4.6	37.5
Total tax expense/(benefit) included in other comprehensive income	$ 12.3	$ 9.9	$ (14.0)	$ 17.3

Accumulated change in equity from transactions and other events and circumstances from non-owner sources, net of tax effect, at period end. Excludes Net Income (Loss), and accumulated changes in equity from transactions resulting from investments by owners and distributions to owners. Includes foreign currency translation items, certain pension adjustments, unrealized gains and losses on certain investments in debt and equity securities, other than temporary impairment (OTTI) losses related to factors other than credit losses on available-for-sale and held-to-maturity debt securities that an entity does not intend to sell and it is not more likely than not that the entity will be required to sell before recovery of the amortized cost basis, as well as changes in the fair value of derivatives related to the effective portion of a designated cash flow hedge.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=66004124&loc=d3e637-108580

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 14
-URI http://asc.fasb.org/extlink&oid=66004124&loc=d3e681-108580

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 14A
-URI http://asc.fasb.org/extlink&oid=66004124&loc=SL7669686-108580

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