ICE <num -> types>

ICE