CREATE TEMPORARY TABLE t (x Float64);
INSERT INTO t VALUES (0x1.f7ced916872b0p-4);
SELECT * FROM t;
SELECT x = 0x1.f7ced916872b0p-4 FROM t;
