More efficient access to SplayIntSet parameters.