Refined floating point comparison for equality statement