revert some int64 to int