convert all int to int64

Same here.