When the quat is known to be unit length, so we can avoid scaling (just conjugate_qt which asserts on non unit quats).