Also change int -> machine_int_t where appropriate.
Some functionality is still missing (eg and, or, bit shift), and some things are buggy (eg subtract).