Implement numerical evaluation of products

I don't think is_zero would be the answer -- no product (except the one with a function of 0) should return True for the is_zero property. At least a warning should be added in Product's docstring, shouldn't it?