XML 48 R38.htm IDEA: XBRL DOCUMENT v3.23.2
Leases - Schedule of Future Minimum Operating Lease Payments (Detail)
$ in Millions
Jul. 31, 2023
USD ($)
Leases [Abstract]  
Remaining three months of fiscal year 2023 $ 2.7
2024 9.8
2025 8.4
2026 7.0
2027 6.5
Thereafter 11.5
Total undiscounted lease payments 45.9
Less: imputed interest (7.7)
Total lease liabilities $ 38.2