Decimal digits in timeofday()

There's a cute little bug somewhere.

While

   SELECT timeofday();

returns six decimal digits,

   SELECT date_part('epoch', timeofday()::timestamp);

only returns five, on a Linux Slackware 8.0 x86 machine with PostgreSQL 7.1.1 .

Please do not make me dive into C code again, already fixed a similar bug in 
Zope , but in Python (it shaved off two digits instead of one, but anyway...)


Another thing, does anyone know where I could see the docs for the new 
to_timestamp microsecond-aware function in 7.2?


Lastly, thanks for the fine software. Just donated 50$ to PostgreSQL Inc., 
it feels good. :^)


-- 
"Mozilla will be around long after nobody can remember
just quite what Internet Explorer actually used to be."
   AirLace on Slashdot

Nicola Larosa - nico@tekNico.net