Quarterly report pursuant to Section 13 or 15(d)

Fair Value Measurements (Details)

v2.4.0.8
Fair Value Measurements (Details) (USD $)
In Millions, unless otherwise specified
Nov. 30, 2013
May 31, 2013
Available-for-sale securities:    
Available-for-sale securities $ 2,830.5 $ 3,691.4
Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 2,830.5 3,691.4
Other securities 12.7 10.7
Liabilities:    
Other long-term liabilities 12.7 10.7
General obligation municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 1,655.7 1,456.8
Pre-refunded municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 130.0 203.9
Revenue municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 846.4 754.0
Variable rate demand notes [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 198.4 1,276.7
Quoted prices in active markets (Level 1) [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Other securities 12.7 10.7
Liabilities:    
Other long-term liabilities 12.7 10.7
Quoted prices in active markets (Level 1) [Member] | General obligation municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Quoted prices in active markets (Level 1) [Member] | Pre-refunded municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Quoted prices in active markets (Level 1) [Member] | Revenue municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Quoted prices in active markets (Level 1) [Member] | Variable rate demand notes [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Significant other observable Inputs (Level 2) [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 2,830.5 3,691.4
Other securities 0 0
Liabilities:    
Other long-term liabilities 0 0
Significant other observable Inputs (Level 2) [Member] | General obligation municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 1,655.7 1,456.8
Significant other observable Inputs (Level 2) [Member] | Pre-refunded municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 130.0 203.9
Significant other observable Inputs (Level 2) [Member] | Revenue municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 846.4 754.0
Significant other observable Inputs (Level 2) [Member] | Variable rate demand notes [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 198.4 1,276.7
Significant unobservable Inputs (Level 3) [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Other securities 0 0
Liabilities:    
Other long-term liabilities 0 0
Significant unobservable Inputs (Level 3) [Member] | General obligation municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Significant unobservable Inputs (Level 3) [Member] | Pre-refunded municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Significant unobservable Inputs (Level 3) [Member] | Revenue municipal bonds [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities 0 0
Significant unobservable Inputs (Level 3) [Member] | Variable rate demand notes [Member] | Fair Value, Measurements, Recurring [Member]
   
Available-for-sale securities:    
Available-for-sale securities $ 0 $ 0