This should document that is is "sign aware" when the type on lhs and rhs don't match.