History tests/arith.tests