I don't understand why this needs a cast at all. Aren't you casting from int32_t?