Quarterly report pursuant to Section 13 or 15(d)

Fee Revenue - Additional Information (Details)

v3.23.2
Fee Revenue - Additional Information (Details)
$ in Millions
3 Months Ended
Jul. 31, 2023
USD ($)
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Contract liabilities, revenue recognized $ 88.2
Revenue recognized, remaining performance obligation 1,049.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2023-08-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue recognized, remaining performance obligation $ 470.5
Revenue, remaining performance obligation, expected timing of satisfaction, period 9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2024-05-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue recognized, remaining performance obligation $ 344.2
Revenue, remaining performance obligation, expected timing of satisfaction, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-05-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue recognized, remaining performance obligation $ 144.6
Revenue, remaining performance obligation, expected timing of satisfaction, period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-05-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue recognized, remaining performance obligation $ 89.7
Revenue, remaining performance obligation, expected timing of satisfaction, period