dataTypes.timestamp string encoding