v3.25.2
Marketable Securities (Tables)
 6 Months Ended
Jun. 30, 2025
Investments, Debt and Equity Securities [Abstract]  
Debt Securities, Available-for-Sale
A summary of our debt securities as of June 30, 2025 is as follows (in millions):
Amortized CostGross Unrealized GainsFair Value
Available-for-sale debt securities:
U.S. government and agency securities$48.6 $0.3 $48.9 
Corporate bonds and notes39.2 0.2 39.4 
Investing information related to our available-for-sale debt securities is as follows (in millions):
Three Months Ended June 30,Six Months Ended June 30,
2025202420252024
Proceeds from sales and maturities$8.7 $— $8.7 $— 
The contractual maturities of our available-for-sale debt securities as of June 30, 2025 are as follows (in millions):
Amortized CostFair Value
Due in one year or less$19.7 $19.8 
Due after one year through five years59.559.7
Due after five years through ten years3.63.7
Due after ten years5.05.1
Total$87.8 $88.3