convert all int to int64

Does this need to be int?