int to int32_t