Buongiorno,
ringrazio OldClaudio per avermi indicato la documentazione dove andare a guardare. Andando a leggere cosa fa \pdfelapsedtime, infatti, mi è sorto un dubbio sul codice scritto da Enrico. Se questa macro contiene il numero di “secondi scalati”, cioè secondi divisi per 65536, per avere il risultato in millisecondi non bisognerebbe dividere per 1000 e moltiplicare per 65536 che è esattamente il contrario di ciò che fa il codice?Grazie mille per la pazienza
FraEdit: il tutto mi è più oscuro in quanto provando il codice effettivamente da risultati giusti (il che, in realtà, non mi stupisce affatto!)
Quel “seconds divided by 65536” contraddice in modo evidente il numero indicato subito dopo: 323115 moltiplicato per 65536 darebbe un tempo piuttosto lungo. È chiaro che l’autore intende “il numero di (secondi/65536)”.
Confermo che si tratta di una primitiva specifica di pdfTeX; non c’è in XeTeX né in LuaTeX.
Ciao
Enrico