Why suddenly use Int64?