convert all int to int64

This shouldn't have changed