Re: proposal: simple date constructor from numeric values

There is a small inconsistency:

select time '12:30:57.123456789';

gives

12:30:57.123457

but

select make_time(12, 30, 57.123456789);

gives

12:30:57.123456