Neko fixes: 32 bit ints now...