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



-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to