capitalized std::int::min_value, max_value #10010