Define INT64_MAX