I think I fixed what was wrong about with the handling of arithmetic in interpret': now at least I have 3 less failures when I run my test suite.