readMicroseconds returns an int – Serial.print will output this a number without needing the ',DEC' parameter.