-- { echo }
SELECT toDateTime(-2, 2);
SELECT toDateTime64(-2, 2);
SELECT CAST(-1 AS DateTime64);
SELECT CAST('2020-01-01 00:00:00.3' AS DateTime64);
SELECT toDateTime64(bitShiftLeft(toUInt64(1),33), 2);
SELECT toDateTime(-2., 2);
SELECT toDateTime64(-2., 2);
SELECT toDateTime64(toFloat32(bitShiftLeft(toUInt64(1),33)), 2);
SELECT toDateTime64(toFloat64(bitShiftLeft(toUInt64(1),33)), 2);