Added splay tree optimized for int key.