Make sure file rangle integers are large enough for very large core files.