int type to int64_t