introduce RandIntSampler to simply the implementation of algorithms relying on fast repeated integer sampling