it does cast to int32