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