title: Strange behavior of awk when converting hexa to decimal
body: <p>Can someone explain why 2 different hexa are converted to the same decimal?</p>
  
  <pre><code>$ echo A0000044956EA2 | gawk '{print strtonum("0x" $1)}'
  45035997424348832
  
  $ echo A0000044956EA0 | gawk '{print strtonum("0x" $1)}'
  45035997424348832
  </code></pre>