[pdftex] typo in manual?

[Will Robertson]

On 29/07/2010, at 3:49 PM, Akira Kakuto wrote:

>> 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" ?
> 
> I think it explains the unit "scaled second".

scaled seconds = seconds * 65536

Right?

-- Will