Added new initialisation option for Splay int set.