I believe thatSELECT 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) produces982.35592. Broken, no?
regards, tom lane