add the origin implementation of lua-int64