fixed type IntInf