Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details) - USD ($) $ in Millions | Nov. 30, 2017 | May 31, 2017 |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | $ 43.6 | |
Available-for-sale securities | 4,148.9 | $ 4,613.2 |
Other | 18.8 | 16.7 |
Other long-term liabilities | 18.8 | 16.7 |
Money Market Securities [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 31.7 | |
Commercial Paper [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 11.9 | |
Corporate Bonds [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 291.4 | 210.8 |
General Obligation Municipal Bonds [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 1,361.8 | 1,442.3 |
Pre-Refunded Municipal Bonds [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 73.4 | 55.5 |
Revenue Municipal Bonds [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 889.1 | 940.9 |
U.S. Government Agency Securities [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 390.6 | 325.8 |
Variable Rate Demand Notes [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 1,142.6 | 1,637.9 |
Quoted Prices in Active Markets (Level 1) [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 31.7 | |
Other | 18.8 | 16.7 |
Other long-term liabilities | 18.8 | 16.7 |
Quoted Prices in Active Markets (Level 1) [Member] | Money Market Securities [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 31.7 | |
Significant Other Observable Inputs (Level 2) [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 11.9 | |
Available-for-sale securities | 4,148.9 | 4,613.2 |
Significant Other Observable Inputs (Level 2) [Member] | Commercial Paper [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | 11.9 | |
Significant Other Observable Inputs (Level 2) [Member] | Corporate Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 291.4 | 210.8 |
Significant Other Observable Inputs (Level 2) [Member] | General Obligation Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 1,361.8 | 1,442.3 |
Significant Other Observable Inputs (Level 2) [Member] | Pre-Refunded Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 73.4 | 55.5 |
Significant Other Observable Inputs (Level 2) [Member] | Revenue Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 889.1 | 940.9 |
Significant Other Observable Inputs (Level 2) [Member] | U.S. Government Agency Securities [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 390.6 | 325.8 |
Significant Other Observable Inputs (Level 2) [Member] | Variable Rate Demand Notes [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | 1,142.6 | 1,637.9 |
Significant Unobservable Inputs (Level 3) [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | | |
Available-for-sale securities | | |
Other | | |
Other long-term liabilities | | |
Significant Unobservable Inputs (Level 3) [Member] | Money Market Securities [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | | |
Significant Unobservable Inputs (Level 3) [Member] | Commercial Paper [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Cash equivalents | | |
Significant Unobservable Inputs (Level 3) [Member] | Corporate Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |
Significant Unobservable Inputs (Level 3) [Member] | General Obligation Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |
Significant Unobservable Inputs (Level 3) [Member] | Pre-Refunded Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |
Significant Unobservable Inputs (Level 3) [Member] | Revenue Municipal Bonds [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |
Significant Unobservable Inputs (Level 3) [Member] | U.S. Government Agency Securities [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |
Significant Unobservable Inputs (Level 3) [Member] | Variable Rate Demand Notes [Member] | Recurring [Member] | | |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] | | |
Available-for-sale securities | | |