int_type