
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Why is there no `countLeadingZeros` function for Integer? This seems particularly strange because gmp provides <em style="font-family:"Times New Roman";font-size:medium">mp_bitcnt_t</em><span style="font-family:"Times New Roman";font-size:medium;display:inline !important"><span> </span></span><strong style="font-family:"Times New Roman";font-size:medium">mpz_scan0</strong><span style="font-family:"Times New Roman";font-size:medium;display:inline !important"><span> </span></span><em style="font-family:"Times New Roman";font-size:medium">(const

 mpz_t<span> </span><var>op</var>, mp_bitcnt_t<span> </span><var>starting_bit</var>)</em></div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<em style="font-family:"Times New Roman";font-size:medium"><br>

</em></div>

<div style="font-size: 12pt; color: rgb(0, 0, 0);"><span style="font-size: medium;"><font face="Calibri, Arial, Helvetica, sans-serif">More importantly, what is the recommended way to access it?</font></span></div>

</body>

</html>