l#type-t">t</a></code></dt><dd><p>The bitvector representing -1 of specified size</p></dd></dl><section><header><h2 id="integer-conversions"><a href="#integer-conversions" class="anchor"></a>Integer conversions</h2></header><dl><dt class="spec value" id="val-to_z"><a href="#val-to_z" class="anchor"></a><code><span class="keyword">val</span> to_z : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> Z.t</code></dt><dd><p>To a signed big integer</p></dd></dl><dl><dt class="spec value" id="val-to_uz"><a h