language/core: add int64