add int64 support for redis lua