XML 53 R44.htm IDEA: XBRL DOCUMENT v3.23.2
Note 4 - Investments and Fair Value Measurements - Long-term Debt (Details) - Fair Value, Inputs, Level 2 [Member] - USD ($)
$ in Millions
Jun. 30, 2023
Dec. 31, 2022
Reported Value Measurement [Member]    
Senior notes (Note 10) $ 2,832.7 $ 2,342.6
Estimate of Fair Value Measurement [Member]    
Senior notes (Note 10) $ 2,663.7 $ 2,113.3