Add note about 32-bit integers