Rename machine_(u)int_t to mp_(u)int_t.
See discussion in issue #50.
diff --git a/py/misc.h b/py/misc.h
index 2ac64a7..c8ccdaa 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -100,7 +100,7 @@
bool unichar_islower(unichar c);
unichar unichar_tolower(unichar c);
unichar unichar_toupper(unichar c);
-machine_uint_t unichar_charlen(const char *str, machine_uint_t len);
+mp_uint_t unichar_charlen(const char *str, mp_uint_t len);
#define UTF8_IS_NONASCII(ch) ((ch) & 0x80)
#define UTF8_IS_CONT(ch) (((ch) & 0xC0) == 0x80)