v3.25.1
Debt (Details) - Revolving Credit Facility - Credit Facility - USD ($)
3 Months Ended
Apr. 30, 2025
May 31, 2023
Debt Instrument [Line Items]    
Line of credit, maximum borrowing capacity   $ 500,000,000.0
Line of credit, additional borrowing amount   $ 250,000,000.0
Carrying value of debt $ 0  
Minimum    
Debt Instrument [Line Items]    
Line of credit, commitment fee percentage on undrawn balance 0.25%  
Maximum    
Debt Instrument [Line Items]    
Line of credit, commitment fee percentage on undrawn balance 0.30%