Add comments to these lines -- the comment for "i += '.000000' should quote (and even better it should link to) the python doc that explains the isoformat and how it drops the decimal places in this specific case. For "i = i[:-3]+'000' explain that rounding to milliseconds allows HSQL and VoltDB to give the same exact answers.