actually use bigmpi_int_max