XML 44 R34.htm IDEA: XBRL DOCUMENT v3.23.1
Leases - Additional Information (Detail)
$ in Millions
Apr. 30, 2023
USD ($)
Leases [Abstract]  
Future minimum rent operating leases not yet commenced $ 244.7