[pdftex] typo in manual?

[Will Robertson]

Hi,

In the pdftex manual:

> \pdfelapsedtime (read--only integer)
> The command expands to a number that represents the time elapsed from the moment of run start. The elapsed time is returned in ‘scaled seconds’, that means seconds divided by 65536, e. g. pdfTEX has run for 949194 ‘scaled seconds’ when this paragraph was typeset.


Should that "divided" actually be "multiplied" ?

-- Will