safeint

overflow-checked Int type.

Defines a variant of Haskell's Int type that is overflow-checked. If an overflow or arithmetic error occurs, a run-time exception is thrown.

Currently still in an experimental stage. Everything can change.