v3.25.2
Debt - Fair value of debt (Details)
$ in Millions
Jun. 30, 2025
USD ($)
Senior Notes  
Debt  
Fair value $ 580