Added int_type setter