doc: fix typos in std::num::Int
auto merge of #16152 : tshepang/rust/patch-1, r=alexcrichton