> thus the only possible rewrite for 'a=b' would be: > > 'a/b < 1+1e-10 and b/a < 1+1e-10' > > which might run into division by zero errors and so on. note for floating points, divide by zero just gives a value of "nan". (not a number) It is only with integers that it causes an error. Hamish