Bug Fix: Mixed LA interpolation.

We added the epsilon with the wrong sign to produce s3 < 0.
This caused an assertion error (but toLeq0() did actually produce
s3 < 0 correctly).