om numbers in Dex</h1>
</div></div><div class="cell"><div class="prose-block"><h2>Basics</h2>
<p>Call up a Dex REPL (<code>dex repl</code>) and start messing around with splittable random numbers in Dex.</p>
</div></div><div class="cell"><div class="code-block">k0 <span class="symbol">=</span> new_key 42
</div></div><div class="cell"><div class="code-block">[k1<span class="symbol">,</span> k2] <span class="symbol">=</span> split_key k0
</div></div><div class="cell"><div class="code-block">
</div></div><div 