K 10 svn:author V 3 bde K 8 svn:date V 27 1994-12-25T15:33:39.000000Z K 7 svn:log V 191 Fix the bug reported by Torbjorn Granlund : The documentation for mrand48 and lrand48 is mixed up. mrand48 returns a full 32 bit number, while lrand48 only returns 31 bits. END