v3.25.1
Pension and Other Postretirement Benefits (Textual) (Details)
$ in Millions
Apr. 30, 2025
USD ($)
Pension Benefits [Member]  
Defined Benefit Plan Disclosure [Line Items]  
Expected contribution to benefit plans in 2023 $ 16
Medical and Life Insurance Benefits [Member]  
Defined Benefit Plan Disclosure [Line Items]  
Expected contribution to benefit plans in 2023 $ 4