<32 bit int casts