capitalized std::int::min_value, max_value #10010
auto merge of #10075 : berleon/rust/master, r=brson