Added IntSeq conversion