Revenue (Narrative) (Details) - USD ($) $ in Millions |
Oct. 31, 2022 |
Jul. 31, 2022 |
|---|---|---|
| Revenue from Contract with Customer [Abstract] | ||
| Contract assets | $ 16.9 | $ 17.7 |
| Contract liabilities | $ 23.4 | $ 22.3 |
| 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.
|