fixes, now use boxes in arith.c, but doesn't pass checks yet