> 2) I tried doing the selection based on different numbers in the
> stage "pick w2  <= /x/ ",

For those listening in, I was just being silent because I was deep in the
code. The issue is when comparing two negative numbers in PICK that are
sufficiently different in size (more than factor 10). As Michael pointed
out you can avoid it doing the comparison with SPEC for the time being.

Sir Rob the Plumber

Reply via email to