timestamp_part() bug?

Tatsuo Ishii <t-ishii@sra.co.jp>

From: Tatsuo Ishii <t-ishii@sra.co.jp>
To: pgsql-hackers@postgresql.org
Date: 2002-02-27T08:07:50Z
Lists: pgsql-hackers
I see following in the manual:

-------------------------------------------------------------------
The seconds field, including fractional parts, multiplied by
1000. Note that this includes full seconds.
      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      SELECT EXTRACT(MILLISECONDS FROM TIME '17:12:28.5');
      Result: 28500
-------------------------------------------------------------------

And I see:

test=# select current_timestamp,extract(milliseconds from current_timestamp);
          timestamptz          | date_part 
-------------------------------+-----------
 2002-02-27 14:45:53.945529+09 |   945.529
(1 row)

Apparently there's an inconsistency among manuals, timestamp(tz)_part
and timetz_part. Does anybody know which one is correct?
--
Tatsuo Ishii