SplayIntSet is working correctly.

Should be awesome for TripleRush.