v3.26.1
Debt (Bonds) (Details) - USD ($)
$ in Millions
Mar. 31, 2026
Sep. 30, 2025
Jun. 30, 2025
Series 2025A Bonds, due June 2032      
Debt Instrument [Line Items]      
Interest rate 5.00%    
Series 2025A Bonds, due June 2032 | Bonds      
Debt Instrument [Line Items]      
Principal amount     $ 400
Debt issuance costs, net     $ 6
Interest rate     5.00%
Series 2025 B Bonds, due June 2032      
Debt Instrument [Line Items]      
Interest rate 4.625%    
Series 2025 B Bonds, due June 2032 | Bonds      
Debt Instrument [Line Items]      
Principal amount   $ 100  
Debt issuance costs, net   $ 2  
Interest rate   4.625%  
Series 2026A Bonds, due June 2033      
Debt Instrument [Line Items]      
Interest rate 4.30%    
Series 2026A Bonds, due June 2033 | Bonds      
Debt Instrument [Line Items]      
Principal amount $ 225    
Debt issuance costs, net $ 4    
Interest rate 4.30%