Quarterly report pursuant to Section 13 or 15(d)

Fair Value Measurements (Details)

v3.5.0.2
Fair Value Measurements (Details) - USD ($)
$ in Millions
 3 Months Ended
Aug. 31, 2016
May 31, 2016
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents $ 1.5  
Available-for-sale securities 3,995.5 $ 4,141.9
Other 16.6 14.9
Other long-term liabilities 16.6 14.9
Corporate Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 147.6 131.2
General Obligation Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 1,594.5 1,621.6
Pre-Refunded Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 59.6 61.6
Revenue Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 1.4  
Available-for-sale securities 1,002.1 931.8
U.S. Government Agency Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 219.4 161.1
Variable Rate Demand Notes [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 972.3 1,234.6
Money Market Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 0.1  
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 0.1  
Other 16.6 14.9
Other long-term liabilities 16.6 14.9
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 0.1  
Significant Other Observable Inputs (Level 2) [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 1.4  
Available-for-sale securities 3,995.5 4,141.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 147.6 131.2
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,594.5 1,621.6
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 59.6 61.6
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]    
Cash equivalents 1.4  
Available-for-sale securities 1,002.1 931.8
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 219.4 161.1
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 972.3 1,234.6
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] | 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]    
Cash equivalents  
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
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  
Maximum [Member] | Significant Other Observable Inputs (Level 2) [Member] | Available-For-Sale Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities maturity 90 days