DefaultOperationTraits::Mul