XML 50 R41.htm IDEA: XBRL DOCUMENT v3.23.3
Fair Value Measurements Narrative (Details) - USD ($)
$ in Millions
Oct. 31, 2023
Jul. 31, 2023
Fair Value, Inputs, Level 1    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis    
Cash Equivalents $ 15.4 $ 15.4
Fair Value, Inputs, Level 2    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis    
Notes Payable, Fair Value $ 29.0 $ 29.7