time values past 24:00:00 (or rather 23:59:60)

This is ok:

# select '23:59:60'::time;
   time
──────────
 24:00:00

# select '23:59:61'::time;
ERROR:  22008: date/time field value out of range: "23:59:61"

This is not ok:

# select '23:59:60.999'::time;
     time
──────────────
 24:00:00.999

-- value isn't read back:
# select '24:00:00.999'::time;
ERROR:  22008: date/time field value out of range: "24:00:00.999"

-- we can even go to :01
# select '23:59:60.9999999'::time;
   time
──────────
 24:00:01


PG 12.3.

Christoph