sext(undef) = 0, because the top bits will all be the same.