Fix compilation after uPy renamed machine_int_t -> mp_int_t