Hello everyone, Consider the following example: ```SQL CREATE TABLE t0 (c0 TEXT NOT NULL UNIQUE, c1 TEXT); INSERT INTO t0 VALUES ('1', NULL), ( x'0A'||'2', NULL); SELECT c0 FROM t0 GROUP BY 0.5; ``` What does the "GROUP BY 0.5" mean? And what's the expected result of the example? Looking forward to your explanation!