More flexible type support for `math.prod` and `math.sumprod`

Also related to https://github.com/python/typeshed/issues/11913

Currently, math.prod and math.sumprod do not properly support Decimal, Fraction, complex, or possibly other numeric types. This makes it inconvenient to replace builtins.sum with math.prod in a straightforward manner.

from typing import reveal_type
from fractions import Fraction
from math import prod

a = prod([Fraction(1), Fraction(2)])
reveal_type(a)  # it should be Fraction | Literal[1], but float for now

prod([complex(1, 0), complex(1, 2)])

Mypy Playground Link

I believe it should be followed the type stub of builtins.sum, but I’m not sure what breaking changes this might cause.

まず math.prod と math.sumprod の型スタブを調べ、次に builtins.sum のスタブと動作を比較します。リンクされている Mypy Playground の例を使って Decimal、Fraction、complex の推論を確認し、結果の型と互換性に関する懸念事項があればそれも確認してから、issue が完了したと判断してください。