Random command behaviour unexpected
user:~# help random
Outputs a random u64
user:~# random
13212
user:~# random
30853
user:~# random
10644
user:~# random
17075
user:~# random
12613
user:~# random
22368
user:~# random
29633
user:~# random
14567
user:~# random
28481
Despite outputting a random u64, this seems biased towards outputting a 15-bit random number greater than ~10000.
Running redox 0.3.5 in VirtualBox.