Expanding CheckedArithmetic