be explicit about 32 bit vs. 64 bit integers