Timer frequency is way off
My STM32F303RE is running with an 8MHz crystal feeding into HSE:

Using TIM4 I want to generate 700 interrupts per second, but I only get 318.
As can be seen TIM4 runs at 64MHz and the following configuration should trigger about 318 interrupts:


Using the following formula:
(edit note - had a typo in the formula)
interrupts_per_second := clock_frequency / (prescaler + 1) / (counter_period + 1)
64 MHz / 3 / 30476 = 700
The 318 interrupts are way off the expected 700 and I just can't figure why. Any ideas are highly appreciated.
Thx in advance !
Woyzeck
