casting to int32