Revenue (Narrative) (Details) - USD ($) $ in Millions |
Jul. 31, 2025 |
Jul. 31, 2024 |
|---|---|---|
| Revenue from Contract with Customer [Abstract] | ||
| Contract with customer asset | $ 24.3 | $ 15.9 |
| Contract with customer liability | $ 20.8 | $ 19.7 |
| X | ||||||||||
- Definition Amount, after allowance for credit loss, of right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- References No definition available.
|