std::num_put<CharT,OutputIt>::num_put