identity_element
template <class _Tp> inline _Tp identity_element(plus<_Tp>) {
template <class _Tp> inline _Tp identity_element(multiplies<_Tp>) {