using normal int64 here