To put this in perspective one should also know that 1 here means an error
of 2^-16ppm or less than 0.02nsec.
When I wrote this code, I noticed that the rounding isn't perfect, but
OTOH the error is so small that it can't have any practical relevance.
AFAIC the old code is fine as is.
bye, Roman
--