You might be looking at a deterministic call time for getTime().
getTime() will be interpreted and then call into c++ code, this will consume some time.
Try
var timeNow = getTime();
console.log(timeNow-timeNow); //you'll get 0 ;)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
You might be looking at a deterministic call time for getTime().
getTime() will be interpreted and then call into c++ code, this will consume some time.
Try