Arithmetic draft TP2.