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.

Beginne mit der Untersuchung der Type Stubs für math.prod und math.sumprod und vergleiche anschließend ihr Verhalten mit dem Stub von builtins.sum. Verwende die verlinkten Mypy Playground-Beispiele, um die Inferenz für Decimal, Fraction und complex zu überprüfen, und bestätige die resultierenden Typen sowie etwaige Kompatibilitätsbedenken, bevor du das Issue als erledigt betrachtest.