>>727
キャストによってオーバーフローを起こした時点で結果は未定義のはずだし、
運良く上位ビットを切り捨てる挙動をしたとしても
値が負になる保証はない気がする