Integer overflow

Perhaps this?

help?> Base.Checked
  Checked

  The Checked module provides arithmetic functions for the built-in
  signed and unsigned Integer types which throw an error when an
  overflow occurs. They are named like checked_sub, checked_div, etc.
  In addition, add_with_overflow, sub_with_overflow,
  mul_with_overflow return both the unchecked results and a boolean
  value denoting the presence of an overflow.

Also discussed here.