XML 85 R50.htm IDEA: XBRL DOCUMENT v3.24.1.1.u2
Leases - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2024
Apr. 30, 2023
Leases [Line Items]    
Operating lease expense $ 4 $ 4
Maximum    
Leases [Line Items]    
Operating leases, options to extend leases term 7 years