Accumulated Other Comprehensive (Loss)/ Income (Changes in Accumulated Other Comprehensive (Loss)/Income) (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Nov. 30, 2017	Nov. 30, 2016	Nov. 30, 2017	Nov. 30, 2016
Beginning balance	$ 24.4	$ 39.2	$ 20.0	$ 29.2
Unrealized losses on available-for-sale securities, net of tax	(33.6)	(56.0)	(29.2)	(46.0)
Total other comprehensive loss, net of tax	(33.6)	(56.0)	(29.2)	(46.0)
Ending balance	(9.2)	(16.8)	(9.2)	(16.8)
Total tax benefit included in other comprehensive loss	$ (19.3)	$ (32.0)	$ (16.8)	$ (26.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=84228862&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=84228862&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=84228862&loc=SL7669686-108580

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