小さいIntのタイプに対してもプロキシで対処した