XML 45 R30.htm IDEA: XBRL DOCUMENT v3.25.0.1
Revenue Costs to Obtain Contracts with Customers (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2025
Jan. 31, 2024
Jan. 31, 2025
Jan. 31, 2024
Jul. 31, 2024
Cost of Revenue [Abstract]          
Capitalized Contract Cost, Net $ 14.3 $ 14.4 $ 14.3 $ 14.4 $ 5.2
Capitalized Contract Cost, Amortization $ 14.9 $ 13.9 $ 14.9 $ 13.9