round - timestamp bug

============================================================================
POSTGRESQL BUG REPORT TEMPLATE
============================================================================

Your name : Gonzalo Arana
Your email address : garana(at)sinectis(dot)com

System Configuration
---------------------
Architecture (example: Intel Pentium) : Intel Pentium III

Operating System (example: Linux 2.0.26 ELF) : Linux 2.2.12-20 ELF
(libc-2.1.2)

PostgreSQL version (example: PostgreSQL-7.0): PostgreSQL-7.0.3

Compiler used (example: gcc 2.8.0) : egcs-2.91.66

Please enter a FULL description of your problem:
------------------------------------------------

It seems that there is a problem when retrieving a timestamp value (rounding).

NO minute has 61 seconds. Am I wrong?

Please describe a way to repeat the problem. Please try to provide a
concise reproducible example, if at all possible:
----------------------------------------------------------------------

radius=# create table x (x timestamp);
CREATE
radius=# insert into x (x) values ('Tue 23 Jan 21:38:59.997 2001');
INSERT 619178 1
radius=# select * from x;
x
---------------------------------
Tue 23 Jan 21:38:60.00 2001 ART
(1 row)

If you know how this problem might be fixed, list the solution below:
---------------------------------------------------------------------

Ugly patch to scripts:

radius=# select to_char(x,'Dy DD Mon HH24:MI:SS YYYY') from x;
to_char
--------------------------
Tue 23 Jan 21:38:59 2001
(1 row)

Of course, you'll lose the fraction of seconds otherwise are available.