SERVER-8412 clean up intmax_t