F401 Nucleo Espruino Question

Playing with the F401 w/ Espruino while waiting for my Pico's to arrive :)

I barely know enough yet to even type this question, but perhaps someone can help...

I am fooling around with beginner examples from Espruino.com, and I typed in the example

var interval = setInterval(OnSec, 1000);

where OnSec() maintained a "time" object with seconds, hours, days, etc. This worked just fine, and I was embellishing it when I noticed that it seemed to be running really slowly. So I added a console.log(getTime()) that got executed every 10 seconds and I noticed it took approximately 50-60 seconds between logs.

So, what am I doing wrong? My first guess, and bear with my noobidity please, is that something in the .bin is still set at 16MHz instead of 84MHz, or perhaps 16MHz is the default for the F401 Nucleo and I should have done something to make it run at its faster setting.

Thanks in advance!

Edit: Just noticed that the Espruino runs at 74MHz, so there goes that noob guess.