Implemented checked arithmetic for Big(U)Ints