BUG: fixed platform int issues on 32-bit