* uniformly distributed in the interval %$[2^{b - 1}, 2^b)$%.
* The result is then ORred with the given @or@ value. This
* will often be 1, to make the result odd.
* uniformly distributed in the interval %$[2^{b - 1}, 2^b)$%.
* The result is then ORred with the given @or@ value. This
* will often be 1, to make the result odd.