public final class PartInt extends BasicDataPart<Integer>