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.

Bắt đầu bằng cách kiểm tra các type stub của math.prod và math.sumprod, sau đó so sánh hành vi của chúng với stub của builtins.sum. Sử dụng các ví dụ Mypy Playground được liên kết để kiểm tra việc suy luận Decimal, Fraction và complex, đồng thời xác nhận các kiểu kết quả và mọi vấn đề tương thích trước khi coi issue là hoàn tất.