change Int type to int64