dot-specfun.safe.product function

Compute pmax(x y, -1) in such a way that zeros in x beat infinities in y.