XML 78 R57.htm IDEA: XBRL DOCUMENT v3.24.0.1
Investments - Contractual Maturities of Marketable Investments (Details) - USD ($)
$ in Millions
Dec. 31, 2023
Jun. 25, 2023
Debt Securities, Available-for-sale [Line Items]    
Within One Year $ 1,261.1  
After One, Within Five Years 440.5  
After Five, Within Ten Years 10.7  
After Ten Years 19.0  
Total 1,731.3 $ 1,197.9
U.S. treasury securities    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 780.6  
After One, Within Five Years 108.8  
After Five, Within Ten Years 0.0  
After Ten Years 0.0  
Total 889.4 260.4
Corporate bonds    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 214.1  
After One, Within Five Years 256.3  
After Five, Within Ten Years 0.0  
After Ten Years 0.0  
Total 470.4 495.6
Municipal bonds    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 57.8  
After One, Within Five Years 75.4  
After Five, Within Ten Years 0.0  
After Ten Years 2.4  
Total 135.6 175.3
Commercial paper    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 90.1  
After One, Within Five Years 0.0  
After Five, Within Ten Years 0.0  
After Ten Years 0.0  
Total 90.1  
U.S. agency securities    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 58.4  
After One, Within Five Years 0.0  
After Five, Within Ten Years 0.0  
After Ten Years 0.0  
Total 58.4 76.8
Certificates of deposit    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 60.1  
After One, Within Five Years 0.0  
After Five, Within Ten Years 0.0  
After Ten Years 0.0  
Total 60.1 112.3
Variable rate demand notes    
Debt Securities, Available-for-sale [Line Items]    
Within One Year 0.0  
After One, Within Five Years 0.0  
After Five, Within Ten Years 10.7  
After Ten Years 16.6  
Total $ 27.3 $ 27.3