why did int change to int64?