Implement numerical evaluation of products

I don't think that we should safeguard here.

But we can check for finite limits in the evalf_prod and call doit() in this case.

This was implemented, what do you think?