keen/random/secure-random

Source
secure-random random() global
secure-random-seed nat32() global
secure-random-seed nat64() global
secure-random record mut, global, case, case (has private fields)
This uses SecureRandom in Java and crypto.getRandomValues in JS.
next32 nat32(_ secure-random) global
next64 nat64(_ secure-random) global