functional.sqlancer.tidb_challenge_48_test. UNIQUE constraint on DECIMAL/floating-point columns causes incorrect result for NULL in AND