Merge pull request #142 from MikeMirzayanov/fix_76_133

Guarantee result bounds for random (mostly for wnext), fixed wrong formulas in some wnext functions