Add a set-of-int implementation.