altos/lisp: Add 'big' ints -- 24 bits wide