(arg * RAND) ------------- 2**randbits