We should probably generate a correct not equals statement for floating points in C