s="token operator"> = </span><span class="breakable-word"><span class="token string">"3.0"</span></span></span><wbr><span class="token punctuation">)</span></div></div><span class="token keyword"></span><span class="token keyword">fun </span><a href="random.html"><span class="token function">random</span></a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../index.html">StrictlyNegativeInt</a></div><div class="brief "><p class="p