use int32 codec to encode/decode signed/unsigned int64/int32