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).