doc: fix typos in std::num::Int