v3.26.3
Leases (Narrative) (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Aug. 31, 2026
Aug. 31, 2025
Aug. 31, 2026
Aug. 31, 2025
Leases [Abstract]        
Lease expense $ 5.5 $ 5.5 $ 16.0 $ 15.4
Short-term lease cost $ 2.0 $ 2.1 $ 5.6 $ 5.4