XML 60 R44.htm IDEA: XBRL DOCUMENT v3.25.2
Revenues Costs to Obtain Contracts with Customers (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2023
Costs to Obtain Contracts with Customers [Abstract]      
Capitalized Contract Cost, Net $ 6.6    
Capitalized Contract Cost, Amortization $ 28.7 $ 28.6 $ 25.2