Next-interrupt-time calculations were made in 16-bit registers but moved to 32-bit ones for convenience. But they forgot to round off at 16-bits. Force the round-off so we do not wait forever.