In Arduino.h I found this...
#define clockCyclesPerMicrosecond() ( F_CPU / 1000000L )
so with that, millis() and micros() should work as intended, unless micros() is timer interrupt triggered based on a number rather than a function.. I shall look into this