Arithmetic DI and CaseletArithmetic DI and Caselet