why int64?