randomInt cannot return full-range 32-bit integers

[miyaokamarina]

The randomInt() function throws, if the upper bound (i.e. max-min) is greater than or equal to the algorithm’s exclusive upper bound $2³²$. Thus, the randomInt() function can be used to generate integers in $[0,2³²−2]$ at most, not in $[0,2³²−1]$ as it should.