F401 Nucleo Espruino Question

the 5-1/4 vs. the calculated 4-1/2 (72 / 16) value can make sense, because the timer internally fires events to update the time more often and base on the clock. The cycles used to handle the timer event is usually taken into account and is with the internal timer/interval value for sure not linear with the time itself.