fix integers push/get on 32bit, prepare for lua 5.3 (which has native
integers)