v3.25.1
Debt and Credit Facilities Credit Facilities (Details)
$ in Millions
Apr. 30, 2025
USD ($)
Line of Credit Facility [Abstract]  
Line of Credit Facility, Current Borrowing Capacity $ 900