http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51539
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-13 23:12:47 UTC --- It returns x*y, which may or may not be the product, the binary operator* could be overloaded for Tp with a completely different meaning. Actually I'm wondering if it's worth adding anything here. What else is multiplies going to do, except multiply? There's already a link to a page saying all the arithmetic operations have corresponding functors, it should be self-explanatory.
