> i numeri in virgola mobile (\em{double} secondo lo standard IEEE 754).
Thanks, fixed in the repo.
Norbert
--
PREINING Norbert http://www.preining.info
Accelia Inc. + JAIST + TeX Live + Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13