32 bit integers, every x and y: unsat    x = INT_MIN: unsat
float32: x = y = 1.5 gives -(x-y) = -0.0 and y-x = +0.0 (exercise 10.2).
