yes 10000 microsecond, 10 millisecond
You want something like:
void loop(){
loopStartTime = micros();
// do stuff
Serial.println(micros(),DEC);
if (micros() - loopStartTime < STD_LOOP_TIME)
delayMicroseconds(STD_LOOP_TIME - (micros() - loopStartTime) - 200);
}
The Serial.println() is of course printing the micros() for each loop and in your serial monitor you should see the micros() incrementing by 10000 each time. You'll notice an arbitrary "200" in there; when testing the code I notice it was printing increments slightly over 10000 microseconds; that "200" is just a slight adjustment to get it closer to the desired 10000.