;;; extra bits of randomness that we generate before taking the value MOD the
;;; limit, to avoid loss of randomness near the limit
;;; extra bits of randomness that we generate before taking the value MOD the
;;; limit, to avoid loss of randomness near the limit