[TxMt] Re: warning: unused typedef 'serializing_int_requires_an_unsigned_type'