changed DoubleNeg to IsNegative and DoubleEq to AlmostEq
fixed a failing sqlite test