add a %f formatter for microseconds

Is %f appropriate? Python use %f to represent microseconds.