fixed type for Int level