Fixed time formatting where microseconds could have incorrectly leading zeros