This happened when the overflow counter for ticks_ms() was interrupted by an external hard interrupt (issue #3076).
