Int_type