To clarify, as you know CLOS isn’t the CL type system. I was particularly thinking about things like fixnum arithmetic.
The CMUCL and SBCL manual sections on code generation discuss this and it can be verified with DISASSEMBLE.