面白いことが分かったんだけど、
シードが10で最小値が1の時、最大値が値が1〜6の時は、
この算出方法がぴったり成り立っていたんだけど、
7辺りから計算式とは違う値が算出されることが分かった。
内部的には条件分岐で複数の乱数生成の計算式を使い分けているのかもしれない。