rename Int64 -> Int