Fix off-by-1 error in frequency generator (int_bound is inclusive)
Fix off-by-1 error in frequency generator (int_bound is inclusive)

Previous code use RS.int which is exclusive on the upper bound

c-cube/qcheck