randomized rounding binary integer