Incorrect aggregation result when grouping by PostgreSQL TIME in presence of 24:00:00 values

[findepi]

PostgreSQL

CREATE TABLE t(a time(3));
INSERT INTO t VALUES (TIME '23:59:59.999');
INSERT INTO t VALUES (TIME '24:00:00.000');

Presto

presto:tpch> SELECT a FROM t;
      a
--------------
 23:59:59.999
 23:59:59.999

but:

presto:tpch> SELECT count(*) FROM t GROUP BY a;
 _col0
-------
     1
     1

while same with aggregation pushdown disabled

presto:tpch> SET SESSION postgresql.allow_aggregation_pushdown = false;
SET SESSION
presto:tpch> SELECT count(*) FROM t GROUP BY a;
 _col0
-------
     2