Quarterly report pursuant to Section 13 or 15(d)

Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details)

v3.10.0.1
Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details) - USD ($)
$ in Millions
Nov. 30, 2018
May 31, 2018
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents $ 442.3 $ 862.1
Available-for-sale securities 2,954.3 3,104.8
Other 19.2 18.2
Other long-term liabilities 19.2 18.2
Commercial Paper [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 380.0 655.0
Time Deposits [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 50.0 200.0
Money Market Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 12.3 7.1
Corporate Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 387.3 321.4
General Obligation Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 997.6 1,221.7
Pre-Refunded Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 49.7 50.9
Revenue Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 627.2 806.4
U.S. Government Agency Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 459.1 396.1
Variable Rate Demand Notes [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 433.4 308.3
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 12.3 7.1
Available-for-sale securities
Other 19.2 18.2
Other long-term liabilities 19.2 18.2
Quoted Prices in Active Markets (Level 1) [Member] | Commercial Paper [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents
Quoted Prices in Active Markets (Level 1) [Member] | Time Deposits [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents
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 12.3 7.1
Quoted Prices in Active Markets (Level 1) [Member] | Corporate Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Quoted Prices in Active Markets (Level 1) [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
Quoted Prices in Active Markets (Level 1) [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
Quoted Prices in Active Markets (Level 1) [Member] | Revenue Municipal Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Quoted Prices in Active Markets (Level 1) [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
Quoted Prices in Active Markets (Level 1) [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 Other Observable Inputs (Level 2) [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 430.0 855.0
Available-for-sale securities 2,954.3 3,104.8
Other
Other long-term liabilities
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 380.0 655.0
Significant Other Observable Inputs (Level 2) [Member] | Time Deposits [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents 50.0 200.0
Significant Other Observable Inputs (Level 2) [Member] | Money Market Securities [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents
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 387.3 321.4
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 997.6 1,221.7
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 49.7 50.9
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 627.2 806.4
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 459.1 396.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 433.4 308.3
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] | 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] | Time Deposits [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Cash equivalents
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] | 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