The sequence num of a tx input is a uint32.