XML 46 R31.htm IDEA: XBRL DOCUMENT v3.23.3
Revenue Costs to Obtain Contracts with Customers (Details) - USD ($)
$ in Millions
Oct. 31, 2023
Jul. 31, 2023
Oct. 31, 2022
Cost of Revenue [Abstract]      
Capitalized Contract Cost, Net $ 21.8 $ 5.1 $ 19.7