MRB_INT64

* Use 64 bit integers so there are no floating point operations just for
  setting up the GDT (which requires unsigned 32 bit integers).
! Fix INT..._MIN limits in stdint.h