Create arithmetic.h