Problem with EXTRACT() in current sources?

I believe that
SELECT EXTRACT(EPOCH FROM TIMESTAMP '2001-02-16 20:38:40');
ahould give a fairly large integer --- in 7.2 I get 982373920.
But CVS tip (without the int64-timestamp option) produces
982.35592. Broken, no?

regards, tom lane