The conversion of timestamps from Halo to LEEF format wasn't working due to unexpected string lengths.
This should handle any number of fractional second digits (from 3 to 6).