v3.25.2
Debt - Senior notes (Details) - USD ($)
$ in Millions
Jun. 30, 2025
Oct. 07, 2020
Debt    
Outstanding Principal $ 973  
4.75% Senior Notes Due 2028    
Debt    
Outstanding Principal 600 $ 600
Interest rate   4.75%
Aggregate unamortized premium $ 16