Simple cryptographic random related types