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.

Empieza inspeccionando los stubs de tipos de math.prod y math.sumprod, y compara después su comportamiento con el stub de builtins.sum. Usa los ejemplos enlazados de Mypy Playground para comprobar la inferencia de Decimal, Fraction y complex, y confirma los tipos resultantes y cualquier posible problema de compatibilidad antes de dar por cerrado el issue.