The current format doesn't save the time stamp, which leads to undefined behavior when updating a TIMESTAMP WITH TIME ZONE column.