Use sign_extend().