Implement numerical evaluation of products

> Is there any way to safeguad against that? 

Use is_zero?  (But this property of the Product is wrong for now.)