add developer-oriented bigmpi_max less than INT_MAX