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 视为完成之前确认最终类型以及任何兼容性方面的疑虑。