Switch for int type