The term "positive" is less meaningful for %% as it is dealing only with
unsigned values. It belongs to $! and uses the exact opposite condition,
which is the value being non-zero.
* Improve cmd_help.yaml and fix a small bug
* Add support for 64bit random numbers
* Make a distinction between 32- and 64-bit PRNG
* Add documentation for new functions
* Change the RBTree test to use 32-bit random numbers
