Document traits in std::num (#7511)

See #7511