platform independent int64