Delete arithmetic.h