title: Does BigInteger ever overflows?
body: <p>The API docs says</p>
  
  <blockquote>
    <p>All of the details in the Spec concerning overflow are ignored, as
    BigIntegers are made as large as necessary to accommodate the results of an operation.</p>
  </blockquote>
  
  <p>Does this implies BigInteger will never overflow assuming you have sufficient memory available ? If so why do we let some "type" overflow and some don't ?</p>
  
  <p>As the language evolves, will it favor the types which hide overflowing mechanism from the programmers ?</p>