Update ZillionIntSet.h