Fix missing modulo in random_bool()
Rather minor detail - forgot in !473 (merged) to take mod 2**48 in random_bool()
to properly replicate lrand48()
.
Rather minor detail - forgot in !473 (merged) to take mod 2**48 in random_bool()
to properly replicate lrand48()
.