[Bug libstdc++/94823] modulo arithmetic bug in random.tcc

[hiraditya at msn dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94823

--- Comment #5 from AK <hiraditya at msn dot com> ---
> So when __k == 0, then all three of those loads will be _Type(0x8b8b8b8bu) really; no matter what the values of __n, __p will be.


Will it be a good idea to add the explanation in comments, as this may be
tricky for someone to comprehend in future?