use BIGMPI_MAX_INT here as well